Giuseppe Castagna wrote:
On 02/05/2010 11:29 PM, Jonathan Worthington wrote:
And the odering in dispatch is not a type lattice as in Cecil but a
topological ordering. Again I've no clue what that means.
and all objects that do A are also B doers. So one could infer that we
have A <: B. But note
On 02/05/2010 11:54 PM, Jonathan Worthington wrote:
If you want to check if A inherits from B, do A.isa(B).
If you want to check if A does B, do A.does(B).
If you just care if A is somehow a subtype of B, but don't care why, do
A ~~ B.
Much of the time, the last of these is the important one.
Giuseppe Castagna wrote:
Yes I saw that inheritance is not subtyping. I would not share this
decision since as an outsider, it seems to me that Perl6 has redundant
syntax (too many different ways to express the same thing), so it is
astonishing that in that case the choice was to use the same k
On 02/05/2010 11:29 PM, Jonathan Worthington wrote:
And the odering in dispatch is not a type lattice as in Cecil but a
topological ordering. Again I've no clue what that means.
and all objects that do A are also B doers. So one could infer that we
have A <: B. But note that this subtype relatio
HaloO Mr Castagna,
On Friday, 5. February 2010 23:13:25 you wrote:
> Actually I noticed an old post you did on this list 5 years ago. It
> contained the following drawing
Yeah it's a long time. And I've sort of lost interest in type theory.
But then I tried to persuade the list of a sophisticated
Hi,
TSa (Thomas Sandlaß) wrote:
There is no formally defined subtype relation or rules for subsumption.
A type is called narrower without details what that means.
A is a subtype of B if A ~~ B, where ~~ is the smart-match
operator..It's up to the type object on the RHS how it responds to this.
On 02/05/2010 10:53 PM, TSa (Thomas Sandlaß) wrote:
HaloO Mr Castagna
I'm delighted to have you interested in Perl 6. I know your book and
articles and have argued for a type system of Perl 6 here on the list
for quite a while.
Wow, so actually somebody read it! :-) Thank you
Unfortunately I
HaloO Mr Castagna
On Friday, 5. February 2010 16:43:26 you wrote:
> I see I'm going out of the scope of this list. I apologize for spamming,
> but please continue to post here or send me by PM every information about
> Perls 6 types.
I'm delighted to have you interested in Perl 6. I know your boo
Thank you very much for your answers. As I said in my post I knew the synopsis,
but I hoped to have something more precise. I will explore it again by using
Timoty roadmap
On 02/05/2010 01:59 AM, Darren Duncan wrote:
G. Castagna: Covariance and contravariance: conflict without a cause. ACM
T
Darren Duncan wrote:
Giuseppe Castagna wrote:
G. Castagna: Covariance and contravariance: conflict without a cause.
ACM Transactions on Programming Languages and Systems, vol. 17, n. 3,
pag. 431-447, 1995.
Is there an electronic copy of this that you can link to?
Ah, spoke too soon. An ele
On Fri, 5 Feb 2010, Giuseppe Castagna wrote:
Hi,
I would like to know where I can find the latest documentation on the type
(and above all subtype) system for Perl 6. The synopsis does not say much
about it.
http://perlcabal.org/syn/
There's no one document there that contains all the i
Giuseppe Castagna wrote:
I would like to know where I can find the latest documentation on the
type (and above all subtype) system for Perl 6. The synopsis does not
say much about it.
I found this:
http://www.dlugosz.com/Perl6/web/typesystem-summary.html
but agin there is not much informati
12 matches
Mail list logo
