26

ここで説明されているHaskellのBottomは、エラーがある、終了していない、または無限ループを含む任意のタイプの計算であると言われています...これはHaskellに固有のものですか? 格子理論ではそこの概念もあることを知ってBottomいます...定義された順序に基づいてBottomを定義するべきではありませんか?

4

1 に答える 1

36
于 2011-06-16T22:48:32.403 に答える