Система типов —
lib.rs/frunk, давайте проводить кучу вычислений в компайлтайме
Лайфтаймы —
lib.rs/ghost-cell, пусть компилятор доказывает за нас интересные нам свойства
Макросы —
lib.rs/askama, давайте сделаем темплейты, которые буквально компилируются в растовый код и тайпчекаются по правилам раста
Система сборки —
lib.rs/windows, давайте динамически генерировать биндинги в процессе сборки