Verification or Program Analysis Lab

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.