R
Я так на JS делал. Тайпчекнулось, и ладно.
😂
Size: a a a
2020 November 24
RR
Я ещё не видел, чтобы больше одной было
Я про концентрацию
ЕО
Я ещё не видел, чтобы больше одной было
Ага, IO/Effect
ЗП
Извиняюсь за шутку из профунктор-оптикс, но это хорошо описывает мой процесс изучения FRP и его реальных реализаций
И что там с фрп?)
ЗП
Иногда и ContT хватит) зная, что rx это ContT IO
ЕО
И что там с фрп?)
IO Time -> Behavior (IO ()) -> IO (IO ())
ЕО
Но это принципиальная проблема, хочешь запустить классическое или push-pull frp, тяни через всю программу IO. Единственное спасение тут писать код с абстрактной монадой m. Но всё равно это выглядит не очень красиво
ЗП
IO Time -> Behavior (IO ()) -> IO (IO ())
Ехал ио через ио
ЕО
IO (IO ()) меня особенно радует
KV
Шок, для того чтобы делать ио нужны монады
Ну в джаваскрипте их нет, например, так будет лучше?
Ну в джаваскрипте их нет, например, так будет лучше?
NI
Шок, для того чтобы делать ио нужны монады
Ну в джаваскрипте их нет, например, так будет лучше?
Ну в джаваскрипте их нет, например, так будет лучше?
Не, ну согласись, что IO(IO ()) таки радует.
KV
Выглядит загадочно, конечно, но если под ковёр замести, то ок
кY
прикольно, а как так получилось?
p
Не, ну согласись, что IO(IO ()) таки радует.
Вижу canceler какой-то
ЗП
Вижу canceler какой-то
мб как-то юзать managed какой-то)
RR
IO (IO ()) меня особенно радует
Ну, это норма
RR
Очень часто полезно
ЕО
Шок, для того чтобы делать ио нужны монады
Ну в джаваскрипте их нет, например, так будет лучше?
Ну в джаваскрипте их нет, например, так будет лучше?
Есть разница всё-таки между тем, чтобы IO был только на входе и выходе программы, и тем, чтобы тащить его через всю программу всё-таки. Ну то есть обычное RP легко описывается как тройка:
read :: Effect (Event a)
react :: Tuple b (Event a) -> b -- да, я знаю, что это стейт монада, но всё равно вычисление чистое
show :: b -> Effect ()
В результате вся логика приложения в чистом вычислении
read :: Effect (Event a)
react :: Tuple b (Event a) -> b -- да, я знаю, что это стейт монада, но всё равно вычисление чистое
show :: b -> Effect ()
В результате вся логика приложения в чистом вычислении
ЕО
Arrow FRP тоже можно чистым сделать, в конце концов это просто продолжение:
-- ST значит signal transform
data ST a b = ST (Time -> Maybe a -> Tuple b (ST a b ))
-- ST значит signal transform
data ST a b = ST (Time -> Maybe a -> Tuple b (ST a b ))
KV
Я не оч понимаю, нафига нужно RP без IO