関数型言語 Gofer のソースを読む(3)
仕事が忙しくて、目立った進展はありません m(__)m
6章の Static analysis はぜんぜん理解できなかったので、とりあえず論文の方はそのまま最後まで流し読みしました。理解度 30%程度です ^^);
ただし、少しは処理系のイメージが湧いてきたような・・・です。Goferの処理系はパースされた構文情報を Static analysis、Type checking and translation とじょじょに情報を整理/置き換え(?) て行き Compilation で VM用のマシン語にコンパイルしています。 がんばって理解を深めなくては・・・・・
さて、明日(今日は) Haskellナイトです! みんな行くよね ^^)