我正在尝试找到在Haskell中思考空间复杂度的正式方法。我找到了关于图还原（GR）技术的this article，它似乎是一种可行的方式。但是在某些情况下，我在应用它时遇到了问题。考虑以下示例： 假设我们有一棵二叉树： data Tree = Node [Tree] | Leaf [In...

来自如何实现无栈语言？Haskell (as commonly implemented) does not have a call stack; evaluation is based on graph reduction. 真的吗？这很有趣，因为虽然我自己从未经历过这种情况，但我读到过如果...