Research group

Verification or Program Analysis Lab

Better Kotlin

Project supervisors: Marat Akhin, Mikhail Belyaev
Status: Active

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