Type inference seems to be improving with each release of Kotlin ... the situation is different. For example, Apache Spark is mostly written in Scala, and big data applications for Spark are ...