News for hackers. Stuff that matters.

A comment on Kotlin 1.1: What’s coming in the standard library. Parent comment

Re:Kotlin 1.1: What’s coming in the standard library by hota_mazi on Thursday January 26, 2017 @11:50PM (#13497794)
> (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".

[ Parent | on HN ]
Re:Kotlin 1.1: What’s coming in the standard library by lmm on Friday January 27, 2017 @05:03AM (#13498823)
Oh 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.

[ Parent | on HN ]