少し書き直しなどをしました。 内容に間違いがあれば、ここのコメントなどに指摘を下さるとうれしいです。Haskellがアセンブリになるまで(pdf)

色々と質問とかツッコミとかいただいたのでメモ. ポストプロセッサがあるらしい. Perlで書かれているらしい.知らなかった. 型検査が脱糖より前なのはなぜか。 その方がすっきりするからなのか、そうでなければならないのか. 型エラー時にすでに脱糖されたか…

10/22になんでもセミナーというもので、Haskellについての話をすることになりました。 Haskellの中間言語についてとかそういった話をします。 型推論 糖衣構文 A正規化 STG (Shared Term Graph) C-- ランタイムシステム 非ボックス化 書き換え規則(融合変換…