it's simply the case that my “personal” preferences correspond with reality and safety more closely than do theirs. A priori, it would be better if they confor

it's simply the case that my “personal” preferences correspond with reality and safety more closely than do theirs. A priori, it would be better if they conformed to my expectations; anything less than awareness and deference to the last 40 years in PL research is uninteresting and unhelpful. Amazing. Are you a solipsist or just incapable of perceiving outside of your little bubble? Do you even understand what the Kotlin devs are trying to accomplish? Hint, they're not trying to develop the next dependent type theory implementation on the JVM. They're implementing a language so that Java developers can be a bit more productive than they are now.