Yes, my very point is that it is unfortunate that my use cases and personal preferences are not what Kotlin devs consider important. This is not a matter of “Waaaa, they don’t consider me the center of the Universe as I do!”; 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.
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.
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.