Pragma for type matching alternative implementations (Was: Re: treatment of "isa" and inheritance)

2008-04-30 Thread Daniel Ruoso
Ter, 2008-04-29 às 21:03 -0500, John M. Dlugosz escreveu: > In response to questions on my whitepaper, I made this companion > to bring people up to speed on the issue. > Very interesting reading... :) It actually made me think that it woul

Re: Pragma for type matching alternative implementations

2008-04-30 Thread John M. Dlugosz
Daniel Ruoso daniel-at-ruoso.com |Perl 6| wrote: Very interesting reading... :) It actually made me think that it would be possible to implement it as a pragma. class A { has $.a }; class B { has $.b }; sub foo { A $a } { ... } [sic, should be () around parameters] { foo(B.n