From ad8f9f55ea79a4d587aecc69698808da82de3d62 Mon Sep 17 00:00:00 2001
From: somhairle <somhairle@localhost.localdomain>
Date: Tue, 21 Apr 2026 20:40:27 +0800
Subject: 二〇二六年四月二十一日
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 source/_posts/G-Machine.md | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 source/_posts/G-Machine.md

(limited to 'source/_posts/G-Machine.md')

diff --git a/source/_posts/G-Machine.md b/source/_posts/G-Machine.md
new file mode 100644
index 00000000..3860a976
--- /dev/null
+++ b/source/_posts/G-Machine.md
@@ -0,0 +1,33 @@
+---
+title: G-Machine
+date: 2024-01-23 20:09:48
+tags: Technique
+---
+
+- [The G-machine: A fast, graph-reduction evaluator](https://link.springer.com/chapter/10.1007/3-540-15975-4_50)
+
+G-Machine 是一种通过图规约来对函数式语言程序求值的抽象架构。
+与组合子规约不同，组合子规约的control是从表达式图本身动态导出的，而G-Machine是由通过编译Application表达式导出的指令序列指定的。
+
+---
+
+FP的程序基本上都可以用一个表达式的图表示，图计算机就是对这个图求值的机器，总的说来对图的求值是一个不停合并图上的节点生产新节点的过程。
+
+例如：
+
+```ocaml
+let x = 2 + 3 in 
+  x * x
+```
+
+先计算出5，然后创建一个新的节点 `5 * 5`，然后再对这个节点求值，于是求值过程中就产生了很多临时的节点，这些中间节点也被叫做是 spine，求值过程是沿着 spine 进行的。
+
+但是这样就产生了很多额外的开销，lambda lifting 里提到：可以把程序里，很多捕捉了外围绑定的闭包函数中的这些绑定，转换成函数的参数，从而消除闭包，得到的这个函数就可以自由脱离作用域，被静态的编译到机器码里。这些被 float out 的函数也叫 supercombinator.
+
+在上面的代码中，如果不创建新的节点，顺序计算完了第一个 `x`，第二个 `x` 还会再被算一遍。
+
+Spineless reduction 的概念：只有当面临需要重复计算的情况时，才去创建节点，不然就一路顺序算下去
+
+- [Graph reduction](https://en.wikipedia.org/wiki/Graph_reduction)
+- [Graph reduction machine](https://en.wikipedia.org/wiki/Graph_reduction_machine)
+- https://www.zhihu.com/question/54834531/answer/144213668
\ No newline at end of file
-- 
cgit v1.2.3