Haskell运行时惰性值的表示方式及相关实现疑问求证

嘿，你的第一个假设完全正确！Haskell运行时处理惰性值的核心机制就是你说的那种带标记的指针结构，我们通常把这种未求值的表达式包装叫做「thunk」。

具体的实现细节 #

• 每个thunk本质上是一个带有状态标记的指针：
  • 初始状态是「未求值」，指针指向未计算的表达式代码和所需的环境（比如变量绑定）。
  • 当严格求值被触发时（比如调用seq、使用BangPatterns，或者像head这种天生严格的函数），运行时会检查这个标记：如果是未求值状态，就会执行表达式计算，然后把thunk里的内容直接替换成求值后的结果，同时把标记更新为「已求值」。这个替换过程叫更新，目的是让后续访问这个值时直接用结果，避免重复计算——这也是惰性求值里「共享」特性的实现基础。
  • 另外GHC这类主流实现里还会有一个「黑洞（Blackhole）」状态：当一个thunk正在被某个线程求值时，会先把它标记为黑洞，防止其他线程同时对它求值，避免重复计算或者递归求值导致的死锁。

关于未定义结果的情况 #

当求值触发了未定义行为（比如head []、无限递归的表达式，或者显式调用undefined），对应的thunk会被标记为「异常」状态，里面存储的是具体的错误信息（比如Prelude.head: empty list）。之后任何访问这个thunk的操作都会直接抛出这个异常，不会再尝试重新计算。

举个简单的代码例子：

let x = head [] in x + 1

这里x一开始是指向head []的thunk，当计算x + 1时会触发严格求值，head []抛出异常，x的thunk就会被更新为异常状态，后续再访问x都会直接抛出同一个错误。

内容的提问来源于stack exchange，提问作者caeus