Re: What I'm Working On

HaloO, John M. Dlugosz wrote: Can you give a pointer to where this was discussed? It was said by $Larry in the "Adding linear interpolation to an array" thread where I also tried to explain co- and contravariant typing of container types. Regards, TSa. -- The Angel of Geometry and the Devil

Re: What I'm Working On

John M. Dlugosz wrote: > I'm taking a stab at turning the S\d\d documents into a formal standard. That's certainly a nice idea, and much work. ++ for taking it. Cheers, Moritz -- Moritz Lenz http://moritz.faui2k3.org/ | http://perl-6.de/ signature.asc Description: OpenPGP digital signature

Re: What I'm Working On

TSa Thomas.Sandlass-at- This hinges on the details how binding works. If it is pure name lookup then you can bind only variables of equal type. But $Larry has the idea of $x1 and $x2 being different views of the same underlying item. E.g. That's not at all the same kind of thing as briefly desc

Re: What I'm Working On

HaloO, John M. Dlugosz wrote: Here is a sample: There you write: class C { ... } class D is C { ... } my C $c1; # creates container with actual value type of C my D $d1 := $c1; # OK, since D “isa” C. my C $c2 := $d1; # compile-time error, si