4 ms·
> (you can either assume all Java calls are non-null unless checked, assume all Java calls are nullable and force checking, or trust annotations; all these app
by hota_mazi 10y ago
> (you can either assume all Java calls are non-null unless checked, assume all Java calls are nullable and force checking, or trust annotations; all these approaches suck in their own way)
Agreed, which is why Kotlin has explored all of these options and ending up implementing neither.
Look up "platform types".
- lmm 10y agoOh my god. I didn't think it was possible to do worse than all three approaches I mentioned, but they found a way. > Platform types are non-denotable, meaning that one can not write them down explicitly in the language.