AP
В Erlang только мутабельности нет. IO там обычное - где хочешь, там и вызывай
Size: a a a
2017 May 03
AP
При этом чистые функции можно везде писать. Хоть в питоне
AK
давайте по теме вброшу
AK
есть какой-нибудь пакет для быстрой работы с вложенными деревьями?
AK
А самый сильный момент в ФП, это разделение ответственности - чистый код отдельно, грязный отдельно. При этом "грязный код" должен входить в систему типов, т.е. эффекты должны быть выразимы в языке
а таски в Эльме разве не это?
AP
а таски в Эльме разве не это?
Нет. Они не написаны на эльме, не могут быть повторены на эльме и их выполнением нельзя управлять, скажем, выбрать, где и когда выполнить
AP
В языках с контролем эффектов эти самые эффекты - first class citizens (это в эльме есть, т.к. таски можно вернуть из функции), но самое главное - можно описывать свои эффекты (этого в эльме нет и не будет)
AP
Т.о. эльм, это язык с ровно одним контролируемым эффектом - таской. И контролирует этот эффект никак не программист, но рантайм
AP
Поэтому эльм, это фреймворк аля ангуляр - он построен по принципу "не вы вызываете и управляете потоком исполнения, но ядро вызывает вас" - инверсия контроля в чистом виде.
AP
Для GUI-строения это подходит (с ограничениями)
AP
Но эта же инверсия контроля мешает строить по-настоящему сложные вещи - всё превращается в task hell. Не так быстро, как JS скатывается в callback hell, но столь же неминуемо (task hell не касается только совсем простых приложений на базе
beginnerProgram, ибо "нет тасок - нет проблем")AK
ну на фронтенде вроде меньше "тасок", типа сайд-эффектов, как таковых.
AK
запрос к API и в редких случаях работа с файлами
AK
хотя дрэг-н-дроп ещё...
AP
- генерация случайных чисел (в эльме есть, но убогая)
- контролируемая мутабельность (state)
- передача окружения (чтобы не тащить через десять слоёв вызовов функций аргумент для одинадцатого слоя)
- логирование (не в console, а в произвольные структуры данных)
- контролируемая мутабельность (state)
- передача окружения (чтобы не тащить через десять слоёв вызовов функций аргумент для одинадцатого слоя)
- логирование (не в console, а в произвольные структуры данных)
AP
Скажем, в elm нормально не сделать STM, а это очень крутая штука. Ненормально сделать можно, конечно, но пользоваться никто не будет :)
AP
- генерация случайных чисел (в эльме есть, но убогая)
- контролируемая мутабельность (state)
- передача окружения (чтобы не тащить через десять слоёв вызовов функций аргумент для одинадцатого слоя)
- логирование (не в console, а в произвольные структуры данных)
- контролируемая мутабельность (state)
- передача окружения (чтобы не тащить через десять слоёв вызовов функций аргумент для одинадцатого слоя)
- логирование (не в console, а в произвольные структуры данных)
и это только простые "сермяжные" эффекты, применяемые на практичке довольно часто. А есть и менее очевидные
AK
Эльм намеренно не язык "на все руки мастер", чем и хорош. Из действительно необходимых вещей вижу только генерацию случайных чисел и она вроде норм. Или вот в графике текстуры грузить, но это тоже норм сделано, например, в elm-webgl.
AK
Но всякие админко-подобные программы на Elm наверное писать пока не стоит.
AK
но как и на реакте, смысла нет, предназначение другое.