我什至不知道如何表达这个问题。
假设有一个指向未计算表达式的指针。如果它被请求(通过一些强制它的严格函数)，那么指针值将被评估的值替换。正确的？我错了吗？
所以我假设每个指针都有一个标志，说明它是否已被评估。
如果评估未定义，例如空列表的头部怎么办？ “指针”中存储了什么？
最佳答案
这就是它的要点。
每个指针都指向某个结构，您可以在其中找到此类信息。
指针指向一个表达式，该表达式的求值会引发异常。
详细信息在 GHC wiki 的以下页面中；特别参见“对象类型”:https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/heap-objects
数据构造函数、函数闭包、thunk(“未计算的表达式”)是主要的。
关于pointers - Haskell 运行时如何表示惰性值？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/63970480/