Uncle Bobs writes about Kotlin and Swift and why he thinks some of the type system features should better be handled by writing more tests. http://blog.cleancoder.com/uncle-bob/2017/01/11/TheDarkPath.html