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