Концепция Bottom в Haskell
Внизу в Haskell , описанном здесь, подразумевается любое вычисление, которое имеет ошибки, не завершено или включает бесконечный цикл, любого типа ... это специфично для Haskell ? Мы знаем, что в теории решеток существует также понятие Дно ... и не следует ли определять Дно на основе того, какой порядок определен?
26
задан duplode 15 July 2019 в 05:19
поделиться
1 ответ
Действительно, существует порядок определенности , где bottom - это наименее определенное значение. Взгляните на эту страницу о денотационной семантике в Haskell для более подробного объяснения.
Здесь приведена решетка для значений Maybe Bool, взятых со страницы вики. Это показывает, что Just True является более определенным, чем Just ⊥, который является более определенным, чем ⊥.
36
ответ дан 28 November 2019 в 07:34
поделиться
Другие вопросы по тегам: