Dear caml-list,
I am pleased to announce that the GADT extension to O'Caml is now complete,
apart from camlp4, and ready for testing:
svn checkout https://yquem.inria.fr/caml/svn/ocaml/branches/gadts
You can find more information here:
https://sites.google.com/site/ocamlgadt/
So please test a
Hi,
> Don't take the syntax from my 2008 CUG talk too seriously, it was just
> a mock-up for the purpose of the talk. Besides, it's too early for a
> syntax war :-)
Indeed. There's just something about syntax that tickles the more
primitive parts of the programmer's brain... :-)
> This said,
Jacques Le Normand wrote:
> Assuming I understand this syntax, the following currently valid type
> definition would have two interpretations: [...]
Don't take the syntax from my 2008 CUG talk too seriously, it was just
a mock-up for the purpose of the talk. Besides, it's too early for a
syntax
Assuming I understand this syntax, the following currently valid type
definition would have two interpretations:
type 'a t = IntLit of 'a constraint 'a = int
One interpretation as a standard constrained ADT and one interpretation as a
GADT. We could use another token, other than constraint, for e
Hello,
I didn't know about this alternate syntax; can you please describe it?
cheers
--Jacques
On Fri, Oct 29, 2010 at 10:32 AM, Dario Teixeira wrote:
> Hi,
>
> > I am pleased to announce an experimental branch of the O'Caml compiler:
> > O'Caml extended with Generalized Algebraic Datatypes. You
Hi,
> I am pleased to announce an experimental branch of the O'Caml compiler:
> O'Caml extended with Generalized Algebraic Datatypes. You can find more
> information on this webpage:
I have a couple of questions regarding the syntax you've chosen for GADT
declaration. For reference, let's consid
Am 25.10.2010 10:39, schrieb Jacques Le Normand:
I am pleased to announce an experimental branch of the O'Caml compiler:
O'Caml extended with Generalized Algebraic Datatypes.
Of course, some would claim than 3.12 is already almost there:
http://okmij.org/ftp/ML/first-class-modules/#naive-GADTs
On Mon, Oct 25, 2010 at 6:44 PM, bluestorm wrote:
> It's very interesting.
>
> First, I'm curious of the "historical" aspects of this work : where does it
> come from ? Apparently there is work from you and Jacques Garrigue, but it's
> hard to tell. Is it new, or a long-running experiment ?
>
>
T
Hi,
> I am pleased to announce an experimental branch of the O'Caml compiler:
> O'Caml extended with Generalized Algebraic Datatypes. You can find more
> information on this webpage:
More in depth feedback will come after proper digestion; for now let me
just say these are great news! And I'm su
It's very interesting.
First, I'm curious of the "historical" aspects of this work : where does it
come from ? Apparently there is work from you and Jacques Garrigue, but it's
hard to tell. Is it new, or a long-running experiment ?
In your "intuition" section (btw. there is a typo here, it should
Dear Caml list,
I am pleased to announce an experimental branch of the O'Caml compiler:
O'Caml extended with Generalized Algebraic Datatypes. You can find more
information on this webpage:
https://sites.google.com/site/ocamlgadt/
And you can grab the latest release here:
svn checkout https://y
On Mon, Apr 28, 2008 at 01:35:06AM -0400, Jacques Le Normand wrote:
> Does ocaml support Generalized Algebraic datatypes?
No.
> If not, are there any caml based compilers that support it?
Some pieces of software (e.g. Ocsigen), which need GADT, use (very
carefuly crafted) "black magic" (Obj.mag
Dear caml-list,
I'm writing a toy compiler that compiles into ocaml and my toy compiler
supports Generalized Algebraic Datatypes, so I need to compile into a
language which also supports them.
Does ocaml support Generalized Algebraic datatypes? If not, are there any
caml based compilers that suppor
13 matches
Mail list logo