Elixir v1.20: Теперь с типами, но без фанатизма

Elixir v1.20 вышел, и главная фича — постепенная типизация. Разработчики Elixir наконец-то решили, что «всё есть сообщение» — это круто, но иногда хочется, чтобы компилятор сказал: «Слушай, а ты уверен, что тут строка, а не атом?».

Теперь можно добавлять типы аннотации в функции, и компилятор будет проверять их на этапе компиляции. Если вы фанат TypeScript, но душа просит Erlang VM — добро пожаловать. Если же вы любите динамику как она есть — просто не пишите типы, и всё будет работать как раньше. Никто не заставляет.

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

Из других плюшек: улучшенная работа с AST, новые встроенные функции для работы с коллекциями и, конечно, куча исправлений. В общем, релиз как релиз — только с типами.

Комментарий студии METABYTE: Постепенная типизация в Elixir — отличный повод вспомнить, что у нас тоже есть строгие типы в проектах... пока клиент не скажет: «А давайте сделаем это на JavaScript». Шутка. Но Elixir теперь ещё убедительнее для бэкенда.