[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-29 (14:26) |
From: | skaller <skaller@u...> |
Subject: | Re: [Caml-list] New release of moca |
On Sun, 2007-04-29 at 10:09 -0400, Jacques Carette wrote: > Pierre Weis wrote: > > Relational types in Caml > > > Very nice indeed. As a matter of fact, I was just reading (and > enjoying) the ESOP paper in the plane yesterday! > > My question is: why is this done as a pre-processor instead of as an > extension of metaocaml? So that ordinary Ocaml users have access to it? -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net