A second beta of Kotlin 1.3 became available in August 2018 and introduces contracts to the type system.

To read this article in full, please click here

(Insider Story)