KR
Кто тыкал Идрис? TL;DR что в нём "не так" и "не удобно" не считая сырости экосистемы?
Size: a a a
2020 January 19
DS
Кто тыкал Идрис? TL;DR что в нём "не так" и "не удобно" не считая сырости экосистемы?
Отсутствие экосистемы, медленный как чёрт
А
что по скорости догоняет актикс?
А
кроме дотнетов
DS
что по скорости догоняет актикс?
hyper
KR
Отсутствие экосистемы, медленный как чёрт
Медленный при компиляции или в рантайме? Первое понять могу, второе не сильно, учитывая существование GHC/LLVM
DS
Медленный при компиляции или в рантайме? Первое понять могу, второе не сильно, учитывая существование GHC/LLVM
В рантайме кончено же.
DF
Зависимые типы - причина оверхеда?
KR
В рантайме кончено же.
А чего так? Они бэкенд свой пишут, или что?
B
Медленный при компиляции или в рантайме? Первое понять могу, второе не сильно, учитывая существование GHC/LLVM
GHC? Поясните по хардкору, Идрис это плагин на хаскель?
KR
GHC? Поясните по хардкору, Идрис это плагин на хаскель?
Нет
KR
GHC? Поясните по хардкору, Идрис это плагин на хаскель?
Просто оптимизированных бэков вроде хватает на сегодня, чтобы можно было произвольный код просто покомпилять в IR какой-то.
DS
А чего так? Они бэкенд свой пишут, или что?
Не знаю, возможно проблемы того, чтобы для нативного бэкенда юзают boehm gc
KR
Не вникал в GHC, но учитывая сколько ему лет, его переюзать, по идее, частично можно.
DS
Говорят, что у идриса jvm и js бэкенды ничего
KR
Не знаю, возможно проблемы того, чтобы для нативного бэкенда юзают boehm gc
Ясно
DS
Но их не пробовал
KR
А с какого-то asm.js недалеко и до wasm
KR
интересно
DS
Ясно
У идриса дофига бэкендов, есть даже бэкенд из него в пхп и го