在Haskell中，底部（Bottom）是指任何具有错误、未终止或涉及无限循环的计算，其类型可以是任何类型...这个概念是否只适用于Haskell？我们知道在格理论中，也存在一个Bottom的概念...难道Bottom不应该根据定义的顺序来定义吗？
Haskell中的Bottom概念
26
- user618815
4
1个回答
36
实际上，有一种确定性的顺序，其中底部是最不确定的值。请查看这个关于Haskell中指称语义的页面，了解更详细的说明。
这是一个取自维基百科页面的 Maybe Bool 值的格子图。它显示了Just True比Just ⊥更确定，而⊥则是最不确定的。
- hammar
6
4“Just bottom”和“Nothing”是否具有相同的定义性？它们都有一个“定义性”的层级，但是“Nothing”是一个实心的结束，而“Just bottom”则不是。 - Dan Burton
17@Dan它们不可比较，因为它们不在同一条链中。你只能说它们都高于底部。 - augustss
2@Dan，对于一些应用程序来说，“只是底部”也是一个很好的完成方式（例如
isJust）。 - Rotsor这种图形是我第一次接触到域论的窗口。感谢您使用它！ - luqui
3我特别喜欢这个图形清楚地表明为什么⊥被称为“底部”。 - John L
@JohnL 这就是原因：
(_|_) - Khuldraeseth na'Barya网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接
- 相关问题
- 5 Haskell中的ApplicativeDo
- 3 在Haskell中生成Haskell类型的设施（“二阶Haskell”）？
- 6 生成形如2^m*3^n*5^l的数字，有哪些好用的Haskell概念？
- 41 C++的概念与Haskell的类型类有何不同？
- 13 如果我来自命令式编程背景，如何理解Haskell中没有动态变量来跟踪事物的概念？
- 4 在 Haskell 中实现这个面向对象的概念
- 6 为什么Haskell在部分函数中使用bottom而不是null？
- 5 关于Haskell的参数性概念
- 26 在Haskell函数定义中，“bottom”（⊥）的作用是什么？
- 10 在Haskell中是否有子模块的概念？
null和Object！ - user618815