Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
New release of moca
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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?


PS: Genuine question, not criticism.