D🐈
Вы бы ещё в чатике по формальной верификации эти курсы рекламировали
Я передам руководству, чтобы они связались с чатиком по формальной верификации
Size: a a a
2020 January 13
2020 January 14
AK
Что вы обычно делаете, если нужно сначала выполнить команду, а потом её пэйлод использовать для следующего мессаджа? Например, на клик по кнопке нужно сгенерировать Random.Seed из текущего времени (
Task), для этого приходится сделать один мессадж, который по клику тригернёт команду/таск на текущее время, а потом взять это время и использовать для сида, который потом нужно переслать в следующую команду.AP
У тасков есть endThen вроде
AP
таск сида andThen генерим
AY
если это кейс с
/myrequest?v=time
это можно заменить на +1 в моделе 😄
/myrequest?v=time
это можно заменить на +1 в моделе 😄
AY
а еще проще настроить сервер, а в идеале graphql, где нет такой проблемы 😄
AP
Задача — сгенерить случайное значение. Но при этом по возможности без лишнего захода в update для сохранения seed
AY
Задача — сгенерить случайное значение. Но при этом по возможности без лишнего захода в update для сохранения seed
Random.Seed из текущего времени очень похож не обход криво написанного кеша
AP
Да причём здесь кэши?
AK
тут скорее проблема в том, что хочется команду из
onClick прямо вызвать, а без мессаджа совсем никакAK
кэш не при чём, да
AP
тут скорее проблема в том, что хочется команду из
onClick прямо вызвать, а без мессаджа совсем никакТы хочешь сайд-эффектов? :)
AY
Да причём здесь кэши?
ну сорян
AK
Ты хочешь сайд-эффектов? :)
Скорее
onClick :: ... -> Effect Unit :)AY
Скорее
onClick :: ... -> Effect Unit :)onClick :: Cmd (Effect "name")
и дальше в порты сколько хочешь эффектов на js 😄
и дальше в порты сколько хочешь эффектов на js 😄
AP
onClick не может Cmd попрождать. Только Msg
AP
Т.е. всё равно заход в update будет
AP
Но это by design так
AK
то есть получается
onClick (always MakeNewSeedFor...), в update обработчик MakeNewSeedFor..., который запускает таск на Time.now (и там andThen), который получает Seed и отдаёт в другой мессадж (типа UseSeed ...)