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

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

Better Kotlin

Ахин Марат, Беляев МихаилАктивный

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

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

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

Участники

Соболь Валентин
Ахин Марат
Беляев Михаил