Лаборатория верификации и анализа программ

Язык Kotlin является относительно новым языком программирования, который решает некоторые проблемы других языков программирования (Java). В то же время, сам Kotlin также может быть расширен множеством нетривиальных способов.

В нашей лаборатории мы уже исследовали или исследуем в настоящий момент следующие способы расширения языка Kotlin:

• Макросы.
• "Жидкие" типы.
• Специализация параметризуемых классов.
• Реификация типовых параметров классов.
• Классы типов.
• Сопоставление с образцом.
• Вариадические типовые параметры.