ЗП
идрис вроде овердофига кода с собой тянет
Size: a a a
2020 November 27
ЗП
так то и на ghcjs можно сделать тогда
RR
идрис вроде овердофига кода с собой тянет
RR
идрис вроде овердофига кода с собой тянет
RR
И то и то по сути Hello World’ы на реакте
NI
Idris 2 оффициально поддерживает компиляцию в жс
Что-то я совсем уже отстал.
Спасиб.
Спасиб.
p
Idris 2 оффициально поддерживает компиляцию в жс
А в С поддерживает? Первый, вроде, умел. Там народ даже на контроллеры что-то писал 😨
RR
А в С поддерживает? Первый, вроде, умел. Там народ даже на контроллеры что-то писал 😨
Да вроде только в него и жс и умеет
p
Нужно поиграться, конечно.
Интересно, когда пурс 14 выпустят :) На рождество?
Интересно, когда пурс 14 выпустят :) На рождество?
ЕО
Меня milestone'ы 14'ого не впечатлили
ЗП
Меня milestone'ы 14'ого не впечатлили
polykinds, constraintkinds,...
AG
А в С поддерживает? Первый, вроде, умел. Там народ даже на контроллеры что-то писал 😨
p
Свежак!
AG
Да вроде только в него и жс и умеет
не, изначально только в схему умел, жс и си потом добавили
RR
не, изначально только в схему умел, жс и си потом добавили
Как сложно
RR
А, chez это схема
RR
Просто там такой эмпфазис на FFI с Си был
AG
дак оно из схемы сишку цепляет
RR
Это то понятно