Diego Novillo <[EMAIL PROTECTED]> writes: | On Saturday 12 November 2005 13:36, Gabriel Dos Reis wrote: | | > I'm not convinced. I believe Per's suggestion is far superior, and | > more general and does cover pretty well the issue at hand. Plus, | > a pointer-type-without-null is another spelling for reference type. | > | I'm thinking of C here, where we don't have that luxury.
I know you're thinking of C. But we're talking about implementatin here. We have the luxury to -- and we must -- introduce types that are not expressible at the pure C source level. -- Gaby
