develooper Front page | perl.perl6.language | Postings from May 2008

Re: First look: Advanced Polymorphism whitepaper

Thread Previous | Thread Next
From:
John M. Dlugosz
Date:
May 1, 2008 06:35
Subject:
Re: First look: Advanced Polymorphism whitepaper
chromatic chromatic-at-wgz.org |Perl 6| wrote:
> This is why roles-as-types is so important: type inferencers can't infer 
> allomorphism because allomorphism relies on explicitly-marked semantic 
> meanings.
>   


What is your nomenclature here?  "vary in sound without changing its 
meaning"?
What are marked semantic meanings?

--John

Thread Previous | Thread Next


Comments to Ask Bjørn Hansen at ask@perl.org | Group listing | About