Research group
Verification or Program Analysis Lab
Better Kotlin
Marat Akhin, Mikhail BelyaevActive
Kotlin is a relatively new programming language, which solves several important problems and shortcomings of other programming languages (such as 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.