Согласно этой статье о денотационной семантике в haskell, все типы имеют дно и функцию f:A ->B является строгим, если он отображает нижнюю часть типа A в нижнюю часть типа B, в противном случае он называется нестрогим.
(Это напоминает точечную категорию, в которой морфизмы сохраняют базисную точку).
Почему в Haskell есть нестрогие функции, а в Standard ML — нет?
Каждый язык программирования с рекурсией имеет по крайней мере одну нестрогую функцию, часто в форме условного оператора (if-then-else). В противном случае все рекурсии обозначали бы дно (не завершение). Однако, как ни важны нестрогие функции, большинство этих языков не позволяют вам определять свои собственные! Некоторые языки компенсируют это ограничение, предлагая макросы — несколько функциональный механизм, который преобразует синтаксис вместо значений.
Почему в Haskell есть нестрогие функции, а в Standard ML — нет?
В Haskell есть нестрогие функции — обычно ленивые — потому что это полезная функция программирования.
Они улучшают рассуждения об уравнениях, упрощают составление кода и позволяют писать больше видов программ.
undefined в качестве аргумента функции приводит к undefined в строгой функции).
- person Don Stewart; 10.01.2013
Саймон Пейтон-Джонс дал несколько хороших ответов на это в своем наборе слайдов, Власяница.
Лень очень удобна
Рекурсивные значения очень полезны
Лень заставляет вас быть честными [относительно чистоты]
Последняя причина для меня самая важная. Вычислительная чистота Haskell и строгий контроль над эффектами во многом обусловлены его нестрогостью.
Каждый язык вызова по значению дал сигнал сирене о побочных эффектах
Программисты хотят писать C-подобный код, который, я думаю, является зовом сирены, завлекающим большинство языков. В Haskell чередование эффектов волей-неволей просто не имеет смысла, потому что нестрогость означает, что вы не будете уверены, когда эффект будет выполнен.
Почему в Haskell есть нестрогие функции, а в Standard ML — нет?
Потому что выражение в haskell оценивается в нормальной форме Weak Head, тогда как выражение в стандартном ML оценивается в нормальной форме.
Затем в Haskell вы можете рассуждать, используя необработанный преобразователь, чего в Standard ML вы не можете.
Но вы должны знать, что в Standard ML можно добавить лень. (вы можете сделать это, например, в ocaml)
Ленивость по умолчанию в haskell — это выбор дизайна, возможно, отражающий веру в то, что создание компилятора, который имеет дело с ленивостью по умолчанию, может улучшить понимание функционального программирования, позволяя исследовательскому сообществу сделать один шаг вперед.
