я всегда думал, что они должны быть воплощением этого принципа
ну вот в джс или питоне тоже есть функции, как в хаскелле. Но в одном случае надо думать, как не нарушить принцип, а в другом случае надо думать, как его нарушить. Возможно, но тяжело очень.
нет, там процедуры вместо функций, впрочем, это для рассуждений не важно
процедуру без побочных эффектов можно считать функцией
именно так. в Хаскеле это разделение почти есть, в ЖС и Питоне нет
Таки да. А слово «паттерны» уже как ругательное воспринимается в большинстве случаев.
Паттерн — это такая фигня, которая была бы фичей языка или библиотеки, если бы языки программирования делали нормально
в хаскеле нету такого разделения. оно есть в каком-нить ди или там сишарпе где можно промаркировать чистую функцию как чистую с минимальными последствиями или вовсе без них. в хаскеле есть только функции, которые могут быть незаконными из-за всяких лупхолов типа ансейфперфррм или ансейф коэрс, но первые неотличимы от вторых средствами языка
в общем, ты за разделения языка на тотальную и не-тотальную части?
Обсуждают сегодня