Исследовательская группа

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

Better Kotlin

Руководители проекта: Марат Ахин, Михаил Беляев
Статус: Активный

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

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

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

Участники