The production version of Kotlin 1.3 is now available and introduces contracts to the type system.

To read this article in full, please click here

(Insider Story)