あどけない話

インターネットに関する技術的な話など

2013-04-17から1日間の記事一覧

GHC の STG に関するまとめ

理解が深まれば、適宜更新します。 G-machine グラフ簡約のためのスタックマシン 関数適用が連なる spine (背骨)を持ち、愚直にカリー化を実現する 簡約のたびに、それぞれの項を更新 ローカル関数はラムダリフティングしてグローバル関数に直す必要がある …