Исследовательская группа
Лаборатория верификации и анализа программ
Better Kotlin
Ахин Марат, Беляев МихаилАктивный
Язык Kotlin является относительно новым языком программирования, который решает некоторые проблемы других языков программирования (Java). В то же время, сам Kotlin также может быть расширен множеством нетривиальных способов.
В нашей лаборатории мы уже исследовали или исследуем в настоящий момент следующие способы расширения языка Kotlin:
- Макросы.
- "Жидкие" типы.
- Специализация параметризуемых классов.
- Реификация типовых параметров классов.
- Классы типов.
- Сопоставление с образцом.
- Вариадические типовые параметры.
Участники
Соболь Валентин
Ахин Марат
Беляев Михаил