Haskell中Bottom的概念

Question

这里描述的

Bottom in Haskell被认为是任何有错误，未终止或涉及无限循环的计算，是任何类型的......这是否特定于Haskell？我们在莱迪思理论中知道，Bottom还有一个概念.....并且不应该根据定义的顺序定义底部？

Answer 1

确实存在定义的顺序，其中bottom是定义最少的值。请查看this page about denotational semantics in Haskell以获得更详尽的解释。

这是从维基页面获取的Maybe Bool值的格子。它表明Just True的定义比Just ⊥更明确，⊥的定义比{{1}}更明确。