Haskell中Bottom的概念
26 haskell types denotational-semantics semantics
这里描述的Haskell的底部被认为是任何有错误,未终止或涉及无限循环的计算,是任何类型的......这是否特定于Haskell？我们知道在莱迪思理论中,还有一个概念Bottom......并且不应该根据定义的顺序定义底部？
ham*_*mar 36
确实有一个数量级definedness,其中底部是至少定义的值.有关Haskell中的指称语义,请查看此页面以获得更全面的解释.
这是Maybe Bool从维基页面获取的值的格子.它表明Just True定义比Just ?定义更明确?.
- @Dan他们没有可比性,因为他们不在同一个链中.你只能说它们都在底部. (16认同)
- "只是底部"与"什么都没有"的确定性相同？它们都有一层"定义",但"Nothing"是一个坚实的完成,而"Just bottom"则不是. (4认同)
- 我特别喜欢这个图形如何清楚地说明为什么Bott是"底部". (3认同)
- @Dan,对于某些应用程序`Just bottom`也是一个坚实的结束(`isJust`就是一个例子). (2认同)