On 24/06/15 21:27, yary wrote:
I'm reading it a bit at a time on lunch break, thanks for sending it
along, it's educational.
My comments here are all about the example on the top of page 5,
starting with the minutest. First a typo, it says "subC" where it
should say "sumC"
multi sub sumB is
/perl6-typing.pdf
I insist, comments from Perl 6 programmers will be extremely welcome:
just do not be (too) harsh, please :-)
Thank you in advance for your help
Giuseppe Castagna
There is a programming language in which types are sets (of values) and that is
designed all on this interpretation (even though integer values are primitive
and not encoded as you suggest).
The language is CDuce where, besides basic function and product types, you
have also (set-theoretic) u
On 18/07/13 17:58, Patrick R. Michaud wrote:
[...]
Sets do not implement well on a computer.
Let me strongly disagree with this statement. Sets implement *very well* on
computer, it just suffices to know how to do it.
You want a constructive proof? Check the CDuce language (http://www.cduc
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.
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
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
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
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.
I found this:
http://www.dlugosz.com/Perl6/web/typesystem-summary.html
but agin there is not much information.
If your are curi
