Idris & JVM

Почему получается так? Откуда такой странный вывод?

Ну, возьмем к примеру Haskell, близкий к Idris. Так вот, фактически есть версия Haskell для JVM. Пока еще не было релиза, но уже вполне рабочее решение: http://eta-lang.org/

У меня в некоторых тестах версия для JVM медленнее нативной раз в 6. Размер джарника (какой-то «убер»-режим) на вскидку больше раз в 10-15, чем нативный 64-битный бинарник (ну, да, там даже массивы и векторы компилируются в явовский байт-код).

Где лучшесть-то?

Дефолтный сишный бэкенд Идрис очень тормозной. Я правда еще JVMный не тестировал, но там вроде все есть + интерфейс с жабоэкосистемой.

У хаскеля полно разработчиков, и дефолтный рантайм вылизан.

Ну, это может быть. И подтверждаю, что хаскелевский рантайм и компилятор очень хороши, особенно на линуксе и макоси

Вообще я это затеял, чтобы выбить в гранитенаписать спецификацию критической части ядра большого приложения на Идрисе.

Даже будучи неуверенным в инструменте (или в своем знании инструмента)? Я бы так не рисковал

У меня есть время и желание :)

любопытно, что за системы? в общих чертах?

Я вот веб-фреймворк хочу запилить. С настольными играми и нарядно одетыми девушками с сервер сайд рендерингом и реактивный ясно дело, если не на стрелках то уж на монадах точно :)

любопытно, что за системы? в общих чертах?

телеком, протоколы и КА на них — вот это все.

Я вот веб-фреймворк хочу запилить.

Было бы круто.

Любопытно, дело хорошее. А опенсорсить собираешься?

Веб фреймворк (в планах) понятное дело под мит или бсд, вряд ли у другого есть шансы на взлёт в наше время тем более на идрис (ввиду низкой распространённости).

Но телеком мне кажется часто тяготеет к закрытому, ибо если хорошо работать будет - купят и закрытую.

Я понимаю конечно что дело не близкое пока, но любопытно услышать планы и доводы, если найдёшь минутку и не секрет.

PS. Кстати, а что в итоге я ява-бекэндом? ты разобрался, в каком он состоянии или не стал?

А опенсорсить собираешься?

Я пока все для внутренних проектов делаю (пытаюсь, с переменным успехом). Если что интересненькое из этого вылупится, то конечно поделюсь :)

PS. Кстати, а что в итоге я ява-бекэндом? ты разобрался, в каком он состоянии или не стал?

Из этого пока только примеры с сайта разработчика запускал, вроде все заявленное работает. Он довольно активно его пилит, делится успехами на блоге, что хорошо, так как в основном вся работа на жабе и Идрис там нужен :)

Если что интересненькое из этого вылупится, то конечно поделюсь :)

ждём историй успеха)

По жабе, спс. Я то думал речь об https://github.com/idris-hackers/idris-java , которое уже два года как не обновлялось. А там оказывается живее всех живых! Пойду погляжу его блог, не знал что этот проект существует. Жаба важна как платформа кажется практически для всех кто хоть немного «за деньги» работу работает, а не только фо фан. Ну а так как хочется чтоб взлетело, то конечно посматриваю туда. Поэтому собственно и интересуюсь :)

https://github.com/idris-hackers/idris-java

нет конечно, только JVM + bytecode с оптимизациями: https://github.com/mmhelloworld/idris-jvm

да-да, его нашёл по твоей наводке, спасибо!