如何解决Haskell运行时如何表示惰性值?
我什至不知道如何表达这个问题。 假设有一个指向未计算表达式的指针。如果要求它(通过强制它的一些严格函数),则指针值将替换为所评估的值。对?我错了吗?
因此,我假设每个指针都有一个标志,说明是否已对其进行评估。
如果未定义求值(如空列表的开头)怎么办? “指针”中存储了什么?
解决方法
我假设有一个指向未评估表达式的指针。如果要求它(通过强制它的一些严格函数),则指针值将替换为所评估的值。对?我错了吗?
这就是要点。
因此,我假设每个指针都有一个标志,说明是否已对其进行评估。
每个指针都指向某种结构,您可以在其中找到这类信息。
如果未定义求值(如空列表的开头)怎么办? “指针”中存储了什么?
指针指向其计算结果抛出异常的表达式。
详细信息在GHC Wiki的下一页中;特别参见“对象类型”:https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/heap-objects
主要是数据构造函数,函数闭包,thunk(“未求值的表达式”)。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。