кана сказал, что даёт

Он пишет

Сейчас посмотрим

в питоне и js не даёт, вот в лиспах и эрланге я допускаю что даёт

Ну я лиспы как раз из-за отсутствия статических типов не осилил

Не то что бы я сильно пытался

в эрланге где все варианты матчей известны не иметь типов для этих вариантов - это какой то идиотизм

А что даёт? Армстронг насколько я помню хотел ерланг статическим сделать, но не случилось, потому что надо чтобы любой процесс мог послать любому другому мессаджи

ну вот сейчас кана ответит

Сколько надежды на кане

Кажется такой же заскок есть акке. Но не помню точно

а потом окажется, что он на клаве уснул

;(

Ну и кстати статический ерланг ждут ждут и никак не дождутся

А ну ещё есть мнение что let it crash, это когда у тебя из за динамики процесс падает в продакшене и сразу перезапускается

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

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

кроме того, что уже не относится напрямую к типизации, это позволяет больше и легче информации выносить в рантайм, что дает много возможностей просто бесплатно

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

Щас насколько я знаю все замазывают аннотациями и диалайзером

хот-релоадинг классная фишка

Не убедительно если честно