Typle

предоставляет механизмы запроса и интроспекции типов выражений во время компиляции в Elixir.

Идея

Динамическая типизация Elixir обеспечивает быструю разработку, но метапрограммирование с помощью макросов требует проверки типов AST-выражений до генерации исполняемого кода.

Typle позволяет запрашивать и проверять типы непосредственно для AST-выражений при компиляции. Проверяйте типы, структуры и аргументы функций во время раскрытия макросов — выявляя несоответствия типов до генерации байт-кода BEAM.

Почему Typle?

Запросы Типов на Уровне Выражений

Инспектируйте структурные типы AST-выражений прямо внутри тела макроса.

Нулевые Накладные Расходы

Все проверки выполняются исключительно во время компиляции.

Улучшенные Проверки Шаблонов

Стройте строгие раскрытия макросов на основе проверенных типов входных данных.

Примитив Метапрограммирования

Чистая интеграция с DSL, генераторами AST и расширениями компилятора.

Технологии

Для Кого

• Авторов Макросов Elixir , создающих сложные генераторы кода и DSL.
• Разработчиков Библиотек , требующих проверки типов аргументов макросов во время компиляции.
• Инженеров Метапрограммирования , исследующих статическую типизацию в AST Elixir.

Итог

Проверяйте и запрашивайте типы выражений во время компиляции в макросах Elixir с помощью Typle.