On 2014-01-17 20:21:36 +0000, Jacob Carlborg <[email protected]> said:

On 2014-01-17 16:05, Michel Fortin wrote:

This is basically what everyone would wish for a not-null type to do.
The syntax is clean and the control flow forces you to check for null
before use. Misuses result in a compile-time error.

Yes, exactly. But the issue is that the compiler needs to be modified for this.

Andrei's post was referring at language/compiler changes too: allowing init to be defined per-class, with a hint about disabling init. I took the hint that modifying the compiler to add support for non-null was in the cards and proposed something more useful and less clunky to use.

--
Michel Fortin
[email protected]
http://michelf.ca

Reply via email to