[obsidian] vault backup: 2025-01-12 11:27:53[

content/Spineless Tagless G Machine.md

@@ -0,0 +1,13 @@
+---
+date: 2025-01-12 10:08
+---
+
+#programming-language 
+
+[The Spineless Tagless G Machine – Tom's Blog](https://www.theshortlog.com/posts/spineless-tagless-g/)
+
+[[Haskell]]の中間表現の1つ（C--の1個手前）。
+
+[[遅延評価]]に適した仕組み
+
+[[表示的意味論]]と[[操作的意味論]]の両方を定義することで、形式的な正しさと命令型の表現への変換の両方をやりやすくしているという理解