AK
И правильно написано
Size: a a a
2018 February 21
AP
Там у вопрошающего немного каши было в голове, но походу его поправили :)
AP
Но в целом первый ответ нормально описывает происходящее. Программа на Elm не делает эффекты. Она просто описывает их и отдаёт рантайму. Который может делать со списком команд что угодно - проигнорить, вернуть скэшированный результат, выполнить на пуле "потоков" параллельно
AP
Можно - не в текущий момент, а потенциально - написать такой рантайм, который с внешней точки зрения эффекты вообще делать не будет, а Elm-программе вместо случайных чисел будет отдавать числа из коллекции, на HTTP-запросы будет возвращать заданные результаты и т.д. Сама Elm-программа от этого не изменится и более того, будет работать нормально.
AP
Это настоящая изоляция эффектов - нет физического способа сделать внешне наблюдаемый эффект из самого языка. Если не использовать Native-код, конечно
AK
Чтобы подытожить:
update может вернуть при выполнении команду, несколько (Cmd.batch оборачивает их в одну), или ноль команд (Cmd.none), они в свою очередь конструируются только через таски (как бы говоришь «сделай апдейт и запусти таску, как только сработает, и если сработает, дёрни апдейт с обёрнутым мессаджем») или исходящими портами («сделай апдейт и отправь данные джаваскрипту в порт»);
update может вернуть при выполнении команду, несколько (Cmd.batch оборачивает их в одну), или ноль команд (Cmd.none), они в свою очередь конструируются только через таски (как бы говоришь «сделай апдейт и запусти таску, как только сработает, и если сработает, дёрни апдейт с обёрнутым мессаджем») или исходящими портами («сделай апдейт и отправь данные джаваскрипту в порт»);
AK
А, ещё рандом-генераторы, да :)
t
Одну команду же
AK
В доках написано что таска это единственный способ создать команду
AK
Одну команду же
Да, туплю
AK
Поправил
AK
Нет, ещё же Cmd.batch есть
AK
Поправил ещё раз
AK
Но в целом первый ответ нормально описывает происходящее. Программа на Elm не делает эффекты. Она просто описывает их и отдаёт рантайму. Который может делать со списком команд что угодно - проигнорить, вернуть скэшированный результат, выполнить на пуле "потоков" параллельно
Да, первый ответ годный
AP
Одну команду же
Cmd, это моноид. С нейтральным элементом Cmd.none и ассоцативной операцией объединения двух команд в одну (эта, правда, скрыта за batch)
AP
А, ещё рандом-генераторы, да :)
Вангую, что там тоже Task, который просто всегда success
AK
Cmd, это моноид. С нейтральным элементом Cmd.none и ассоцативной операцией объединения двух команд в одну (эта, правда, скрыта за batch)
Ты не помогаешь, Elm не про моноиды :)
AP
Моноид, это математика. Эльм тоже про математику, хоть и в меньшей степени
at
оо поехавшие элмеры
AK
Моноид, это математика. Эльм тоже про математику, хоть и в меньшей степени
Общая алгебра скорее