Концепция дна в Хаскеле

Question

Нижняя часть описанного здесь Хаскелла называется любыми вычислениями, в которых есть ошибки, они не определены или содержат бесконечный цикл любого типа... Это специфично для Хаскелла? Мы знаем, что в теории решеток также существует понятие Bottom там..... и не должно быть определено основание на основе того, какой порядок определен?

Answer 1

Действительно, существует порядок определенности, где bottom - это наименее определенное значение. Взгляните на эту страницу о денотационной семантике в Haskell для более подробного объяснения.

Вот решетка для значений Maybe Bool взято со страницы вики. Это показывает, что Just True более определен, чем Just ⊥ который более определен, чем ⊥,