Fatal编程技术网
  • haskell/
  • Haskell中的底部概念

Haskell中的底部概念

haskell types

Haskell中的底部概念,haskell,types,semantics,denotational-semantics,Haskell,Types,Semantics,Denotational Semantics,这里描述的是任何有错误的、未终止的、或涉及无限循环的、任何类型的计算。。。这是哈斯克尔特有的吗？我们知道，在格理论中，也有一个概念是底部，底部不应该根据定义的顺序来定义吗？确实有一个定义的顺序，底部是定义最少的值。请看一看，以获得更全面的解释 下面是一个从wiki页面获取的Maybe Bool值的晶格。它表明Just True比Just更具定义性⊥比⊥ 我想知道这是否与您的问题有关：请参见“也不错！”！我一直在想Java中的null和Object！我建议使用维基百科的解释，它不同于null/vo

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

确实有一个定义的顺序，底部是定义最少的值。请看一看，以获得更全面的解释

下面是一个从wiki页面获取的
Maybe Bool
值的晶格。它表明
Just True
比
Just更具定义性⊥比
⊥


我想知道这是否与您的问题有关：请参见“也不错！”！我一直在想Java中的
null
和
Object
！我建议使用维基百科的解释，它不同于null/void或类似的东西。
只是底部
的定义真的与
无
的定义相同吗？它们都有一层“定义性”，但是
没有任何东西
是一个坚实的结尾，而
只有底部
不是。@Dan它们不可比较，因为它们不在同一个链中。你所能说的就是它们都在底部之上。@Dan，对于某些应用程序来说，
Just bottom
也是一个坚实的结尾（
isJust
就是一个例子）。这种（类型的）图形让我第一次看到了领域理论。谢谢你使用它！我特别喜欢这张图清楚地说明了原因⊥ 是“底部”。