arxiv.org Все в танк!
erlang-factory.com — Some F# for the Erlang programmer.
OCaml может чморить всех кроме Haskell и Scala.
Erlang и Clojure могут чморить всех кроме Haskell, Scala, OCaml.
maxim.livejournal.com
github.com для Coq. Так вот, оно риальне работает. С некоторыми ограничениями, конечно, но работает.
Привет, чятик! Общеизвестно, что эрланг, с точки зрения теории типов и прочего матана, довольно поганенький язык, на котором надоедает писать после полугода активного использования. Поэтому последнюю неделю я активно ковырял широко известный в узких кругах экстрактор CoreErlang
"[17:13:07] <всё†тлен> в нашем ремесле главное чтоб несложно и другая наёмная макака могла понять как оно сделано и если что уебать монтировкой код и починить на месте ) всё остальное всякое лямбда-хуямбда исчисление оно как бы непрактично"
найдено на просторах erlang-talks:
github.com И еще вот ссылка maxim.livejournal.com
Рабочий экстрактор в недоэрланг для Coq — Надеюсь вы, ранимые эрлангисты, сможете, наконец, нормально воспринимать элитных нодеджээсэров, а не сразу бросаться в бой.
linux.org.ru
elearning.erlang-solutions.com ). Понравилось, правда их feedback tool еще не очень хорошо протестирована и иногда не отдает результаты проверки домашних работ. Такие дела.
Добил курс Erlang Express (