эта самое

[thedeemon]

Haskell on JVM, made in Bangalore: http://eta-lang.org/

(not to be confused with http://www.elalang.net/ which is for .NET, dynamically typed and made in Moscow)

Comments

[diam_2003]

Чем-либо интересным отличается от Frege?

[thedeemon]

Обещают намного большую совместимость с настоящим хаскелем.

Eta is strategically designed so that Hackage packages can be compiled with little modification, allowing reuse of existing infrastructure. This is done by supporting many of the GHC-specific extensions that are used heavily in popular libraries.

On the other hand, Frege, while it supports basic Haskell, lacks many of the key extensions required to compile Hackage, and hence cannot reuse the existing infrastructure. Moreover, because Eta uses a modified version of GHC’s frontend, we have access to all the powerful and well-tuned optimizations that Frege does not.

[diam_2003]

Для чего-то с версией 0.0.5 это довольно сильное заявление, ИМХО. Есть ли к этому какие-то особые предпосылки?

Не то чтобы я был против, нет, просто один Хаскель на JVM уже есть. Интересно, какой цимес в ещё одном.

UPD: а, понятно. Но всё равно, 0.0.5...

[_xacid_]

frege и eta это две большие разницы со своими плюсами и минусами каждая

у frege в плюсах то что он pure jvm а в минусах то что он глючит и вобще не совсем хаскель

у eta все с точностью до наоборот - хаскель там полноценный и настоящий ghc - и это одновременно и плюс и минус (без настоящего полноценного ghc это не работает)

[nivanych]

> eta-lang

"Эттаа... Языг!"

Ну молодцы, молодцы.
Не прошло и 15 лет ;-)
Посмотрим, как будет распостраняться.

[awson]

Никак (очевидно).

[pinkjackal]

Расскажите в двух словах: а зачем это? Зачем делать хаскель на JVM? Смысл в чем?

[thedeemon]

В индустрии есть интерес к ФП... У меня в городе есть миллион джавакодеров...

[tretiy3]

я, совершенно случайно, узнал на днях, на что похожа современная джава:
https://github.com/winterbe/java8-tutorial
очень серьезное впечатление произвело на меня, честно сказать.
а нужен ли там вообще хаскель?

[anonim_legion]

Интересно, видели ли вы современный C#

[formerchild]

Извиняюсь за оффтоп, что думаете о reason ml? Он в экосистеме окамла. Можно это использовать чтобы писать например серверный бэк-энд и фронт-энд вместе? Насколько развита стандартная библиотека? (скажем по сравнению с Go)?

[thedeemon]

Представления не имею. Как я понял, в фейсбуке был отряд окамлистов, которые там сделали ряд важных продуктов, вроде компилятора для их основного языка Hack. Потом, видимо, столкнулись с проблемой, что не могут этот отряд расширить, окамлистов в природе маловато. Сделали лицо попроще синтаксис попривычней, в надежде упростить приход людей в команды. По-моему, это так и останется чисто внутренней штукой фейсбука, сомневаюсь, что пойдет дальше.

Но я на самом деле не в теме, от окамла отошел какое-то время назад и за его экосистемой почти не слежу.

[formerchild]

Понял, спасибо.

[prepor]

Это не "в экосистеме окамла" это просто альтернативный синтаксис (и не первый) для окамла. С точки зрения библиотек и возможности компиляции в жс и кросс-хостово все ровно так же как и в "обычном" ocaml. JS-бекендов, например, две штуки. Нормальной билд тулзы еще не придумали. Стд-либов минимум три штуки. конкаренси и io либ как минимум две. И т.д. )

[maxim]

После анонса Idris на JVM это вообще восстание Java какое-то :-)

[thedeemon]

А еще недавняя история о том, что Оракл взялся трясти с народа денег за саму джаву...

С Идрисом на JVM мне не очень понятно, у него ж JVM бэкенд какой-то был испокон веков, не знаю насколько рабочий. А тут взяли сделали еще один.

[diam_2003]

Оракл, по грязным слухам, хочет JVM как платформу для динамических языков, и продавать облака с пэхапэшечкой. А Джава... Ну, Джава.

[clayrat]

там был Java-бекенд, теперь сделали в байткод