10

从无堆栈语言如何工作？

Haskell (as commonly implemented) does not have a call stack; 
evaluation is based on graph reduction.

真的吗？这很有趣，因为虽然我自己从未体验过，但我读到如果你不使用严格版本的折叠函数然后强制评估无限折叠，你会得到堆栈溢出。当然，这表明存在堆栈。谁能澄清一下？

4

2 回答 2

9

我绝不是这方面的专家，但我认为您引用的答案并不完全准确。Haskell 没有大多数命令式语言所具有的那种简单的堆栈，您可以在其中跟踪通过程序的调用路径。由于它的惰性，评估基于图形缩减，您可以在此处阅读，但调用最终仍放置在堆栈中。根据此页面，“GHC 执行引擎中的“堆栈”与词法调用堆栈几乎没有相似之处。” 所以是的，有一个堆栈，但它与您在命令式语言中找到的堆栈非常不同，它是使用图形缩减创建的。

于 2011-11-17T00:14:38.997 回答
1

Haskell 不是“无堆栈”或类似的东西。从 Haskell 源代码生成的代码仍然具有某种符号，并且执行会显示一些堆栈跟踪，但它们与源代码的关系非常松散。以下是有关尝试简化调试/跟踪/分析的一些信息：

http://www.haskell.org/wikiupload/9/9f/HIW2011-Talk-Marlow.pdf

于 2011-11-17T14:16:11.257 回答