松浦 知也 Matsuura Tomoya
0779555e24
All checks were successful
Build / build (push) Successful in 7m24s
454 B
454 B
| date |
|---|
| 2025-01-12 10:08 |
#programming-language
The Spineless Tagless G Machine – Tom's Blog
Haskellの中間表現の1つ（C--の1個手前）。
遅延評価に適した仕組み
表示的意味論と操作的意味論の両方を定義することで、形式的な正しさと命令型の表現への変換の両方をやりやすくしているという理解