ЗП
Будет разное поведение) но в отличии от хаскель тут локально можно менять поведение ду нотации
Size: a a a
2020 November 24
ЗП
Для галогена тоже запилили https://github.com/thomashoneyman/purescript-halogen-hooks
ЗП
p
За частую это все надо для оптимизации или схлопывания вычислений в одно например, как в случае с койонедой позволяет без перестройки кода свернуть композицию mapов в map композиций
В настолько общем виде я понимаю. В деталях - нет. А дьявол, он кроется в деталях :)
Ну и хочется, конечно, гештальт закрыть.
Ну и хочется, конечно, гештальт закрыть.
ЗП
ЗП
Он на твиче стримит про то как он пишет это
ЗП
В настолько общем виде я понимаю. В деталях - нет. А дьявол, он кроется в деталях :)
Ну и хочется, конечно, гештальт закрыть.
Ну и хочется, конечно, гештальт закрыть.
А вообще можно много чего построить применяя принцип двойного отрицания как вариант перехода от классической логики к интуиционистской
R
Кстати если никто ещё не видел https://github.com/kritzcreek/purescript-wasm
А что это? Это не компилятор из purescripta в wasm, а лишь либа для интеграции с wasm-модулями?
ЕО
А что это? Это не компилятор из purescripta в wasm, а лишь либа для интеграции с wasm-модулями?
Можно с помощью native'а сгенерить плюсы, а потом скомпилить их в wasm
ЕО
Извиняюсь за шутку из профунктор-оптикс, но это хорошо описывает мой процесс изучения FRP и его реальных реализаций
RR
Извиняюсь за шутку из профунктор-оптикс, но это хорошо описывает мой процесс изучения FRP и его реальных реализаций
Ещё одна причина не любить FRP
NI
Ещё одна причина не любить FRP
За то, что часто с эффектами надо работать? ;-)
KV
Да, ну нафиг вообще запускать программы, тайпчекнулось и ладно
RR
За то, что часто с эффектами надо работать? ;-)
Слишком много монад
RR
KV
Я ещё не видел, чтобы больше одной было
ЕО
Да, ну нафиг вообще запускать программы, тайпчекнулось и ладно
О, всегда так делаю (когда пишу на агде)
p
Я так на JS делал. Тайпчекнулось, и ладно.