AP
Слабовато типизировано
Size: a a a
2020 September 18
AY
Сделать промежуточную сумму?
типы не учёл. Возможно. Нужно код прикинуть
MP
мне бы очень помог пример с Cmd.map, я пока тоже попытаюсь
AP
типы не учёл. Возможно. Нужно код прикинуть
Вот у тебя есть
Cmd a
Cmd b
Cmd c
Cmd d
type State = {
fieldA : a
fieldB : b,
fieldC : c,
fieldD : d,
}AP
Нужно первые четыре упаковать во второе
AP
Только если все четыре удались
AP
Т.е. будет
Result String StateAP
А так как всё отложено, то будет
Cmd StateAP
И вот задача — получить
Cmd State из Cmd a .. Cmd dAP
Если трекать все Cmd вручную, то будет
n * три стейта для каждого CmdAP
Паттернматчить такое — ужас и треш
AP
А ещё и Msg придётся придумать для кажого
AP
Нужно композить как Random. Или будет куча бойлерплейта
AP
Но чему я удивляюсь, собсно, Эльм же :)
AY
Мне пока сложно писать в голове fp код. Нужно попробовать через cmd map
AP
Cmd.map : (a -> b) -> Cmd a -> Cmd bAP
Даже два Cmd не скомпозит
AP
Был бы map2, можно было бы хелперов написать. Но не дали. Специально
AP
В Haskell было бы
State <$> async1 <*> async2 <*> async3 <*> async4
:: Async State
без обработки промежуточных состояний и прочего. Для коротких функций есть liftA2, liftA3, а комбинаторы годятся для функций подлиннее (по кол-ву аргументов).AP
Сигналы (помните такие?), кстати, композились нормально. Тогда можно было собрать несколько запросов в один комплексный ответ.