Facebook Erlang

Вот бы Python с нормальной статической типизацией, как в Java зделоли.

Должен сказать, что Facebook переизобретает правильные языки. До этого был OCaml, сейчас Erlang.

Но уже есть Elixir и Pony, так что нужность сомнительная, на самом деле.

Но уже есть Elixir и Pony, так что нужность сомнительная, на самом деле.

нового варианта языка Erlang со статической типизацией

Ну ты понял.

Pony — как раз компилируемый и статически типизированный Erlang, но не на BEAM.

https://news.ycombinator.com/item?id=21111662

Вот тут я вообще ничего не понял. Они хотели на плюсы переписать, теперь хотят OCaml переизобрести. Не понятно в общем.

Pony — как раз компилируемый и статически типизированный Erlang, но не на BEAM.

То есть, выбор между Elixir и Pony – это задача о двух стульях во всей красе. Я вполне понимаю, почему FB не хочет ни на один из них садиться.

К слову, я видел как-то раз проект по запиливанию в GHC бэкенда в BEAM. Было бы интересно увидеть как оно работает вживую.

Ты же крестовик, зачем тебе это?

Внутри whatsapp xmpp. У того сервер на erlang один из самых популярных, ejabberd. Напомните, под какой тот лицензией?

Внутри whatsapp xmpp.

Внутри whatsapp давно уже нет xmpp. А ejabberd под GPL.

ejabberd под GPL2 и коммерческой лицензией за деньги.

Пропустил видимо, когда они с него съехали

Nim же!

Очень скоро после того как FB их купил.

Пытался найти больше инфы чем одна вакансия, но не нашел

Пару месяцев назад видел твит https://twitter.com/michalmuskala (core-разраб эликсира, ecto и ещё пары важных пакетов) об этом, сейчас не могу найти :(

Должен сказать, что Facebook переизобретает правильные языки

Там суть вброса была не в переизобретении, а в превращении Erlang в статически типизированный язык.

Но уже есть Elixir и Pony, так что нужность сомнительная, на самом деле.

Elixir почти от Erlang не отличается (синтаксис + макры + протоколы). Pony от Erlang отличается семантикой, плюс он мёртвый.

Быстро пролистал, кроме пару твитов ничего не нашёл. Может быть на конференциях что-то говорили. При первых результатах сразу же объявят об первой версии. Я так понимаю в Erlang уже давно ведётся срач про статическую типизацию.

Алсо, есть Gleam, который как раз статически типизирован и компилируется в Erlang. И вроде даже не сдох пока ещё.

https://github.com/gleam-lang/gleam

Я так понимаю в Erlang уже давно ведётся срач про статическую типизацию.

Ну есть Dialyzer, который статический анализатор, он может ограниченно проверять типы, но в общем это немного не то.

Помнится, Вадлер и Марлоу (!) пытались сделать статическую типизацию для эрланга и не шмогли.