代入式らしいものは書けるようになった．あと型クラスを使って toCode （コードを生成する関数）を実装してみる．うーんやっぱり 型なのに「instance」と書くのはまだ抵抗がある．あと Foo {bar:: Int} という記法は扱いがすごい面倒なことがわかった．特に…

Why Attribute Grammars Matter というページを見つけた．日付が01-07-05 なんだけど，これは 2001年7月5日か，2005年1月7日かわからない．まだ読み始めたばかりだけれど，中央付近にあるグラフがなんかあやしい．リスト構造の逆をたどるともっと柔軟にデー…