История изменений
Исправление www_linux_org_ru, (текущая версия) :
1. и где там видна ортогональность? (на http://www.idris-lang.org/ слово «effect» вообще не упоминается)
2. с какой стати ортогональность, если функциональное программирование — это просто частный случай — т.е. программирование без эффектов?
3. как в хаскеле/идрисе/фп-языке-по-твоему-выбору разрулить случай «вот эти вот функции имеют коммутирующие эффекты, а вот эти — нет?»
скажем, мы параллельно проверяем кучу ip на наличие smtp open relay, и операции проверки одного ip не коммутируют, а проверки разных ip — коммутируют (более сложный случай — коммутируют частично)
4. комбинация нечистых функций может дать практически полезную чистую функцию; пример — реализация кэширования
Исходная версия www_linux_org_ru, :
1. и где там видна ортогональность? (на http://www.idris-lang.org/ слово «effect» вообще не упоминается)
2. с какой стати ортогональность, если функциональное программирование — это просто частный случай программирования без эффектов?
3. как в хаскеле/идрисе/фп-языке-по-твоему-выбору разрулить случай «вот эти вот функции имеют коммутирующие эффекты, а вот эти — нет?»
скажем, мы параллельно проверяем кучу ip на наличие smtp open relay, и операции проверки одного ip не коммутируют, а проверки разных ip — коммутируют (более сложный случай — коммутируют частично)
4. комбинация нечистых функций может дать практически полезную чистую функцию; пример — реализация кэширования