Re: ADT and GADT (a partial implementation)

2013-03-23 Thread Timo Paulssen
On 21.03.2013 17:45, Carl Mäsak wrote: > [...] > > Using hashes and subclasses: Using > classes and subclasses: > > [...] I came up with a prototype to create those classes like in the second gist automatically by su

Re: ADT and GADT

2013-03-21 Thread Carl Mäsak
Philippe (>): > I like solution 2, but am going to have to delve into the Perl 6 > Documentation to > understand its esoteric syntax: S12 will be a big help here. You may have found it already. I include a few quick pointers below, which also may help. > -

Re: ADT and GADT

2013-03-21 Thread phiroc
t; Envoyé: Jeudi 21 Mars 2013 17:45:45 Objet: Re: ADT and GADT Hi Philippe, Philippe (>): > will Abstract Data Types and Generalized Abstract Data Types be available in > Perl6 anytime soon? Algebraic Data Types -- this is a topic that has come up before on #perl6 on IRC. Often enough I&

Re: ADT and GADT

2013-03-21 Thread Carl Mäsak
Hi Philippe, Philippe (>): > will Abstract Data Types and Generalized Abstract Data Types be available in > Perl6 anytime soon? Algebraic Data Types -- this is a topic that has come up before on #perl6 on IRC. Often enough I've been the one mentioning it. Let's just stop briefly to define a few

ADT and GADT

2013-03-21 Thread phiroc
Hello, will Abstract Data Types and Generalized Abstract Data Types be available in Perl6 anytime soon? Many thanks. Philippe