ЗП
Size: a a a
2020 November 24
2020 November 26
RR
Ну-с, оно наконец-то заработало, осталось написать это в пурсе и хуки наконец заработают
2020 November 27
ЗП
Ну-с, оно наконец-то заработало, осталось написать это в пурсе и хуки наконец заработают
Думаю это не составит большого труда
RR
Ну да, это должно быть просто
RR
Но я пока в идрис тыкаюсь
ЗП
Но я пока в идрис тыкаюсь
зачем?)
RR
Хочу портировать gimel на идрис
ЕО
Можно доказывать, что монада это монада, удобно
RR
Нужно будет сравнить перфоманс
RR
Может идрис быстрее работать будет, а может и нет
ЕО
А идрис умеет в жоэс компилироваться?
ЕО
Быстрее вряд ли
NI
под идрис1 было что-то, но устарело.
Хотя и думаю, что портировать на идрис2 не очень сложно.
Даже в wasm что-то начинали писать.
Хотя и думаю, что портировать на идрис2 не очень сложно.
Даже в wasm что-то начинали писать.
RR
А идрис умеет в жоэс компилироваться?
RR
А идрис умеет в жоэс компилироваться?
RR
под идрис1 было что-то, но устарело.
Хотя и думаю, что портировать на идрис2 не очень сложно.
Даже в wasm что-то начинали писать.
Хотя и думаю, что портировать на идрис2 не очень сложно.
Даже в wasm что-то начинали писать.
Idris 2 оффициально поддерживает компиляцию в жс
KV
ФП , быстро работать в браузере |— WASM с континуэйшенами
RR
где код?
Позже перепишу и залью