Haskellコンパイラ読み会

いつもの授業のコンパイラ読み会です。 今回は11/23-25で。と思ったんですが、土曜日をLTに当てられしまったので土曜日はお休みです。お題は

　　Haskell (とAgda)

です。前回敗れ去った時(2014/12)に読んだスライドは復習しました。

http://www.scs.stanford.edu/11au-cs240h/notes/ghc-slides.html

それによると、

　　Syntax suger などを除いて Haskell Core に変換される
　　let で変数を通して項が共有される
　　allocate は let、reduction は case で実行される
　　primitive type は eager に実行される

ということですね。

Haskell は debugger よりは tracer を使うらしいので、今回はそういう方針です。

金曜日(休日)と日曜日の10時から18時(お昼休みあり)に、工学部1号館321教室でやってます。

前回も、それなりに頑張ってはいたみたいだな。

　　http://www.cr.ie.u-ryukyu.ac.jp/~game/pukiwiki/index.php?ghc