Promoting laziness is not something I'm interested in. Extensive laziness is an inevitability in pure FP regardless of the language, which makes having language-level support at the very least a good idea. That's not in doubt. The question could be posed whether the group mind that is Kotlin wishes to be a comfortable pure FP language. From what I understand of Kotlin's history so far, not much. A case could be made that that's a social engineering mistake. What popularity Scala has, it owes to the functional crowd, and a couple syntactic sugars (lazy arguments and monadic comprehensions) could make Kotlin a lot more pure FP-eloquent.