ЕО
Не знаю пока. Но ленивое не означает автоматом "требует ленивое IO" ведь.
Size: a a a
2020 November 10
NI
Стрелочное точно можно и в строгом варианте использовать.
2020 November 11
ЕО
Выглядит так, что AFRP решает большую часть проблем, которые меня смущают в FRP, да. Удивительно, что нет либ для AFRP в purescript, это из-за того, что стрелочной ду-нотации нет?
ЗП
Выглядит так, что AFRP решает большую часть проблем, которые меня смущают в FRP, да. Удивительно, что нет либ для AFRP в purescript, это из-за того, что стрелочной ду-нотации нет?
я думаю это можно как-то через профункторы сделать
ЕО
Что почитать?
ЗП
стрелка это строгий профунктор)
ЗП
но я даже в хаскель не видел pfrp
ЗП
а это было бы интересно
ЕО
стрелка это строгий профунктор)
И как с этим работать? Что это даёт? Я в профункторной иерархии не разбираюсь. Может есть пейпер? :)
ЗП
вот чего нет в пурсе стрелок, они не надо, когда есть профункторы
https://github.com/purescript-deprecated/purescript-arrows
https://github.com/purescript-deprecated/purescript-arrows
ЕО
Ну, просто в хаскеле есть синтсахар для стрелок
ЗП
но даже в хаскель вроде нельзя сделать профункторную нотацию
ЕО
но я даже в хаскель не видел pfrp
Можно считать netwire pfrp? Они инстанируют profunctor для Wire :)
Вообще непонятно чем особо pfrp должен от afrp отличаться
Вообще непонятно чем особо pfrp должен от afrp отличаться
2020 November 12
ЗП
у пурсы появился resoucet
