質問

Haskellの底 ここで説明されているのは、エラーがある、未終端である、または無限のループを含む計算であると言われていますが、これはHaskellに固有ですか？格子理論では、 Bottom そこに.....そして、順序が定義されているものに基づいて底を定義すべきではありませんか？

役に立ちましたか？

解決

確かにの順序があります 定義, 、ここで、底は最も定義されていない値です。見て HaskellのMenotational Semanticsに関するこのページ より徹底的な説明のために。

これが値の格子です Maybe Bool Wikiページから取得。それはそれを示しています Just True よりも定義されています Just ⊥ よりも定義されています ⊥.

enter image description here

ライセンス： CC-BY-SA と 帰属
所属していません StackOverflow
scroll top