Ниже в Haskell, описанном здесь, называется любое вычисление, которое имеет ошибки, не прерывается или включает бесконечный цикл, имеет любой тип... это характерно для Haskell? Мы знаем в теории решетки, существует также понятие Bottom там..... и не должно быть определено Bottom на основании того, какой порядок определен?
Концепция Bottom в Haskell
Ответ 1
Действительно, существует порядок определенности, где bottom - наименьшее определенное значение. Посмотрите эту страницу о денотационной семантике в Haskell для более подробного объяснения.
Вот решетка для значений Maybe Bool, взятых со страницы wiki. Он показывает, что Just True более определен, чем Just ⊥, который более определен, чем ⊥.
