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

Question

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

Answer 1

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

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