13. Rust на пути к стабилизации never-типа ('!')
Тип !, обозначающий никогда не возвращающие функции, долгое время был нестабильным внутри компилятора. 24 августа начался процесс стабилизации. Подробности доступны за paywall LWN.
#types
12. Ciao: документация по assertions для языка с логикой и проверками
На сайте ciao-lang.org опубликован раздел про Assertions and their Use в Ciao. Это не новость уровня «все пропало», а полезная техдокументация для тех, кто копает в language tooling и хочет понять, как в Ciao устроены assertions и зачем они вообще там нужны.
1. Elixir 1.20 стал «частично типизированным»: gradual typing, без фанфар
В релизе 1.20 Elixir добавили gradual typing — язык теперь умеет жить с постепенно подключаемой типизацией, а не требует переписать всё на одном дыхании. Это именно тот случай, когда динамический мир аккуратно примеряет на себя строгие типы, и наверняка кто-то уже потирает руки, а кто-то — глаза от миграции.