Elm 0.17

[thedeemon]

Elm - это хаскелеподобный чистый функциональный язык для всяких безобразий в браузере, т.е. "компилирующийся" в JavaScript. Знаменит прежде всего тем, что на нем написан визуализатор квантовой механики из предыдущего поста. :)
Три года назад я писал про тогдашний Elm, с тех пор он заметно изменился, а в последней на сегодня версии произошло

Comments

[chaource]

Я когда-то тоже фанатѣлъ отъ Elm. Но сейчасъ я недоволенъ, что убрали типъ сигналовъ. Стало все еще болѣе куцымъ, чѣмъ было раньше. Работа съ асинхронными процессами теперь будетъ еще болѣе ad hoc, чѣмъ раньше.

По-моему, когда нѣтъ явныхъ сигналовъ въ видѣ функтора, то работа программы становится совершенно загадочной и таинственной. Хотя рантаймъ возможно и сталъ болѣе эффективнымъ, потому что у программиста стало меньше функцiй, и рантаймъ можетъ больше оптимизировать.

А гдѣ модуль для работы cъ WebGL?

[thedeemon]

http://package.elm-lang.org/packages/elm-community/elm-webgl/3.0.1/

[chaource]

По-моему, когда нѣтъ явныхъ сигналовъ въ видѣ функтора, то работа программы становится совершенно загадочной и таинственной. Наиболѣе, на мой взглядъ, логичный способъ думать про "колесо Сансары", это рекурсивно опредѣлить сигналы Model, View, Input другъ черезъ друга. Сигналы должны быть монадой (чего въ Elm никогда не было), должно быть можно рекурсивно опредѣлять сигналы (этого въ Elm тоже не было и нѣтъ), и тогда все получается примѣрно так

[thedeemon]

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

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

[kika]

> Завтра, кстати, я иду на встрѣчу съ создателемъ Elm и буду тамъ что-нибудь писать на новомъ Elm.

Я смотрел давно на ваш аватар и все тужился вспомнить где же я вас видел. Теперь понятно. Вас Сергей зовут?

[ex_juan_gan]

Надо же. Я тогда сходил разок на митап, не был впечатлен.

Спасибо! Более убедительно, чем purescript.

[kika]

Фигассе. Вот что с людьми делает травма явой и ее фреймворками.

[sassa_nf]

а чем отличается тайпкласс от type alias навроде примера с Рунге-Кутта в следующем посте?

[thedeemon]

В основном тем, что неявно передается. type alias там просто record описывает, экземпляр ее надо явно в функцию передать.

[sassa_nf]

ага, ну, в Агде тоже. Собственно, тайпклассы хороши, когда по единственному экземпляру для каждого типа.

[swizard]

> Но общие впечатления очень положительные. Язык стал проще и одновременно удобнее.

Всё так. Но, с другой стороны, автор взял направление на отвязывание Elm от JS, типа, это всего лишь одна из платформ, в которую мы компилируемся. А дальше будет WebAssemply, потом ещё что-то, и тд.

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

Как бы, не то, чтобы я имел какое-то принципиальное философское мнение по этому вопросу, но при портировании существующего софта на новый Elm теперь мне надо вообще всё нафиг переписывать :(

[thedeemon]

В смысле выпилили?
Вот я смотрю на пакет elm-linear-algebra, там почти весь код имеет вид
inverseOrthonormal : Mat4 -> Mat4
inverseOrthonormal = Native.MJS.m4x4inverseOrthonormal

и все подобные упомянутые ф-ии из Native.MJS живут в соответствующем обычном .js файле.

[swizard]

Им самим можно (иначе как бы они webapi делали), а пользователям уже нет. Раньше была подробная инфа как эти нативные модули писать и связывать с Elm, щас токо через javascript-as-service: http://guide.elm-lang.org/interop/javascript.html , а все остальное должно быть в elm-lang.

Вот мужик, например, с горя начал делать свой elm на платформе purescript'а: https://github.com/rgrempel/elm-web-api/issues/17

[wizzard0]

Closed world assumption это печалька, да. Все более-менее успешные языки имеют развитый FFI, unsafe и прочие костыли для построения своих интерфейсов с внешним миром