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.