SO
вот тут вроде неплохой паттерн приводится
(Model, Cmd Msg, List (Request)) в том, что тут нельзя понять, а не попали ли какие-то запросы уже в Cmd — в типах нет этой информации, а значения непрозрачныSize: a a a
2020 December 09
AP
Проблема
AP
Поэтому я и говорю про специальный тип-сумму для всех используемых эффектов — чтобы значения этого типа возвращать вместо Cmd
AP
type Eff
= Network Request
| Random Random
...
update : Msg -> Model -> (Model, List Eff)SO
ну вот в ссылке как раз про это
AP
"Официально одобренные костыли" :)
SO
почему костыли, как должно быть чтобы не было костылей?
AP
В статье тип отражает все виды эффектов. И сам непрозрачный при этом
AP
Шило на мыло
AP
Мы как не знали о том, что может прийти в Cmd, так и не знаем в случае этого их Effect
AP
Кастомный же тип чётко отделяет то, что может быть, от того, что не может
AP
Если перечислены только Random и Network, значит только они и могут быть
AP
ну нельзя в Elm сделать так, чтобы было
update
:: HasEffect Random m
=> HasEffect Network m
=> HasEffect Foo m
=> Msg -> Model -> m Model
то есть поиметь перечисление эффектов без наворачивания конкретного типа-суммыSO
больше букв не всегда плохо)
AP
Если я могу что-то не писать, значит я могу не наделать багов там, где приходится делать, потому что приходится писать
SO
Если я могу что-то не писать, значит я могу не наделать багов там, где приходится делать, потому что приходится писать
типизация защищает
AP
От чего защищает типизация, если
Effect означает "что угодно"?AP
ну нельзя в Elm сделать так, чтобы было
update
:: HasEffect Random m
=> HasEffect Network m
=> HasEffect Foo m
=> Msg -> Model -> m Model
то есть поиметь перечисление эффектов без наворачивания конкретного типа-суммыТут я знаю, что есть только генерация чисел, хождение в сеть и Foo
SO
почему что угодно?