Ну и в конце концов, даже в яве, где типов в рантайме сильно больше присутствует, делают как-то hot reload, криво и косо, но делают. Вокруг этого весь деплой в классике java ee строится.

Я вот например явно не могу заюзать библиотеку на работе, если в ней нет лицензии.

Это понятно. Не понятно другое, есть ли для нас смысл запускать процесс согласования лицензий на этот код? Потом окажется, что никому это не нужно. А то ведь я не большой любитель бюрократических процессов.

Статически типизированный beam язык - - моя давняя мечта. Если фейсбук что-то сделают, то будет круто.

Что такое "статическая типизация" в данном контексте?

Есть три термина: "статическая", "строгая" и "сильная" типизация. И их иногда путают.
Статическая (static) - это когда переменной с обозначенным типом нельзя в дальнейшем изменить тип.
Сильная (strong) - это когда тип любой функции можно вывести статическим анализом, как в ML-языках.
Строгая (strict) - может означать разное, например, что обезьян нельзя складывать с бананами (нет неявного приведения типов). Тут подробнее http://progopedia.ru/typing/strong/

Языки с иммутабельными "переменными" - статические из коробки, в них "переменным" значение нельзя изменить, не то что тип.

Так о чём речь?

https://en.wikipedia.org/wiki/Type_system#Static_type_checking =>
Static type checking is the process of verifying the type safety of a program based on analysis of a program's text (source code). If a program passes a static type checker, then the program is guaranteed to satisfy some set of type safety properties for all possible inputs.

кстати очень хороший вопрос, в свете уголовного дела с Сысоевым или Алейниковым.

Как мне убедиться в том, что у тебя были полномочия выкладывать код

Вообще странно выкладывать код и не заморачиваться с лицензиями

"Статически анализируемый язык" и "язык со статической типизацией" - это разные вещи.

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

Кто-нибудь использует self hosted hex в каком либо виде?

Да очень просто все. Сперва простые разработчики решают выложить на гитхаб, и выкладывают. Через N лет случайно выясняется, что есть процесс для этого, нужны обоснования, согласования и тд. А разработчикам на эти либы уже пофиг. Они давно стабилизированы, давно на проде в куче проектов. Уже все и забыли, что это за либы, что они делают. И запускать этот процесс и можно бы, но ради чего?)

Мы пытались, завелось, но не прижилось.

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

Неясно как вообще можно использовать код без лицензии

Ну свой собственный можно

в общем беру, клонирую экспортирую в apps/ использую как свой собственный :)

Разработчики работали по найму и по своему желанию запушили в паблик код без лицеезии. 'nj мина.  пользоватья нельзя (автор не разрешил) - включил в код  = украл. и у самого автора проблемы ибо слив, скорее всего в договоре было что-то про авторские права.

Что вы прицепились к этой ерунде?

Просто считайте, что мы используем гитхаб как свой внутренний репозиторий, если вам так будет легче :)