GHC的设计基于称为STG的东西,STG代表“无脊椎,无标签G机”。
现在,G机器显然是“图形归约机器”的缩写,它定义了如何实现懒惰。未评估的重排将作为表达式树存储,执行程序需要将其减少为正常形式。 (树是非循环图,但是Haskell的普遍递归意味着Haskell表达式形成一般图,因此是图约简而不是树约简。)
不太清楚的是术语“无骨”和“无标签”。
最佳答案
GHC Wiki包含由Max Bolingbroke撰写的有关STG的介绍性文章:
GHC的设计基于称为STG的东西,STG代表“无脊椎,无标签G机”。
现在,G机器显然是“图形归约机器”的缩写,它定义了如何实现懒惰。未评估的重排将作为表达式树存储,执行程序需要将其减少为正常形式。 (树是非循环图,但是Haskell的普遍递归意味着Haskell表达式形成一般图,因此是图约简而不是树约简。)
不太清楚的是术语“无骨”和“无标签”。
最佳答案
GHC Wiki包含由Max Bolingbroke撰写的有关STG的介绍性文章: