[
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:10) |
From: | Jacques Carette <carette@m...> |
Subject: | Re: [Caml-list] New release of moca |
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? Certainly some of the features of Moca can be implemented in metaocaml (I have done this myself for rings and monoids). The added advantage of using metaocaml is, of course, the types. As a (syntactic) pre-processor, getting good error messages out of Moca will be rather challenging, no? Jacques PS: Genuine question, not criticism.