Re: Declaring and Checking Non-Null Types

--- Daniel Bonniot <[email protected]> wrote:
> If you want an instance of this class with finite memory usage, you
> will need somebody who is their own ancestor... ;-)

Isn't that the usual alternative to using 'null'; create an Unknown PPP
instance set to be their own parent and child?

> But in general I agree that there is a need for recursive definitions
> of values, which will have to be adressed. I would imagine something
> like:
> 
>   let papa = new Papa(child: bambino),
>       bambino = new Child(parent: papa);

How would we instantiate self-referential objects without using option-types?

__________________________________
Do you Yahoo!?
Yahoo! Finance Tax Center - File online. File on time.
http://taxes.yahoo.com/filing.html


-------------------------------------------------------
This SF.Net email is sponsored by: IBM Linux Tutorials
Free Linux tutorial presented by Daniel Robbins, President and CEO of
GenToo technologies. Learn everything from fundamentals to system
administration.http://ads.osdn.com/?ad_id=1470&alloc_id=3638&op=click