• bearophile <bearophileHUGS lycos.com> Jan 21 2009

bearophile <bearophileHUGS lycos.com> writes:

Michel Fortin:
 I agree for non-nullability.


More discussions about this topic:
http://lambda-the-ultimate.org/node/1478

A very C-like language with such features (it's a language different from
Cyclone):
http://www.splint.org/manual/manual.html#null

Bye,
bearophile