関数型言語 Gofer のソースを読む(3)

仕事が忙しくて、目立った進展はありません m(__)m

6章の Static analysis はぜんぜん理解できなかったので、とりあえず論文の方はそのまま最後まで流し読みしました。理解度 30%程度です ^^);
ただし、少しは処理系のイメージが湧いてきたような・・・です。Goferの処理系はパースされた構文情報を Static analysis、Type checking and translation とじょじょに情報を整理/置き換え(?) て行き Compilation で VM用のマシン語コンパイルしています。 がんばって理解を深めなくては・・・・・


Real World Haskell―実戦で学ぶ関数型言語プログラミング プログラミングHaskell


さて、明日(今日は) Haskellナイトです! みんな行くよね ^^)