This domain may be for sale!
理解が深まれば、適宜更新します。 G-machine グラフ簡約のためのスタックマシン 関数適用が連なる spine (背骨)を持ち、愚直にカリー化を実現する 簡約のたびに、それぞれの項を更新 ローカル関数はラムダリフティングしてグローバル関数に直す必要がある ラムダリフティングされた関数はスーパーコンビネータと呼ばれる Gコード push/enter 方式 Spineless G-machine Spineless: 引数が充足している関数は、一気に呼び出す このころまでに標準の G-machine も spineless だったらしい サンクは共有されているときだけ更新 (これが重要) G コードに対して 5 つの新しいコードを追加 push/enter 方式 Spineless Tagless G-machine Tagless: 統一された書式になって、先頭の tag がなくなった
A Haskell Compiler A Haskell Compiler How does a Haskell compiler work? Can all reason about how a C compiler works but Haskell seems difficult Will try to give you an idea of how GHC works Structure of Lecture Will first give an overview of the intuitive ideas behind the compiler. Then will go through how GHC works in terms of traditional compiler stages: Front End: Haskell -> Core Lexer, Parser,
The Glorious Glasgow Haskell Compiler.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く