The Spineless Tagless G Machine – Tom’s Blog
Haskellの中間表現の1つ（C—の1個手前）。
遅延評価に適した仕組み
表示的意味論と操作的意味論の両方を定義することで、形式的な正しさと命令型の表現への変換の両方をやりやすくしているという理解
The Spineless Tagless G Machine – Tom’s Blog
Haskellの中間表現の1つ（C—の1個手前）。
遅延評価に適した仕組み
表示的意味論と操作的意味論の両方を定義することで、形式的な正しさと命令型の表現への変換の両方をやりやすくしているという理解