26

这里描述的 Haskell 中的底部据说是任何有错误、未终止或涉及无限循环的计算，是任何类型的......这是特定于 Haskell 的吗？我们知道在格理论中，还有一个概念Bottom……不应该根据定义的顺序来定义底部吗？

4

1 回答 1

36
于 2011-06-16T22:48:32.403 回答