言語論メモ

今回はソース公開というわけではないが，課題に関する話 (っつーかメモ) だからこのカテゴリで投稿．

プログラミング言語論 ≒ 関数型言語 Hugs の習得．コイツを使って言語プログラミングをやっている．対象言語は手続き型言語．

以下，10 人程度の受講生 (汗) 向けのメモ．

継承せずとも Show させる
代数型の定義部にいちいち deriving Show を付記して Show クラスを継承しなくても，Hugs 環境で 

Prelude> :set -u
とすれば済む (= 一応は要求を満たす) 事を 昨日発見．元に戻すには以下のようにする． 

Prelude> :set +u
(参考リンク：算法言語)
畳み込みと合成関数と
関数 alloc の定義中にある以下の記述 

foldl (flip flip undefined . update) t [l .. l+n-1]
がイマイチ分からん．特に丸カッコ内部．最終的・具体的にどんな畳み込み演算を行なうというのか，コイツは．