Research group
Verification or Program Analysis Lab
Better Kotlin
Akhin Marat, Belyaev MikhailActive
Kotlin is a relatively new programming language, which solves several important problems and short-comings of other programming languages (Java). At the same time, it still has a lot of room for improvements and extensions.
At VorPAL, we have already explored or are currently exploring the following ways of extending Kotlin.
- Macros
- Liquid types
- Parameterized class specialization
- Reified class generics
- Type classes
- Pattern matching
- Variadic generics
Participants
Sobol Valentyn
Akhin Marat
Belyaev Mikhail