[Caml-list] New release of moca

[Caml-list] New release of moca

[Pierre Weis]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1984 bytes --]


             Relational types in Caml

We are pleased to announce the 0.7.0 version of Moca (a.k.a the Trianon
version), a general construction function generator for relational types in
Objective Caml.

In short:
=========

  Moca allows the high-level definition and automatic management of complex
invariants for data types; Moca also supports the automatic generation of
maximally shared values, independantly or in conjunction with the declared
invariants. In addition, a flag of the compiler triggers the generation of
memoized construction functions.

Moca's home page is http://moca.inria.fr/
Moca's source files can be found at

       http://moca.inria.fr/archive/moca-0.7.0.tgz

Moca is developped by Pierre Weis, Frédéric Blanqui, and Richard Bonichon
(see the file AUTHORS in the main directory of the distribution).

What's new in this release ?
============================

-- More stable code base: automatic test generation handles polymorphic types,
   support of OCaml V3.12 syntax, many rewrttings and simplifications.

-- API (new user's features and facilities):

   * Construction functions can be memoized:
     - new option -memo.
     - new option -memo-hash-table-size <int> to set the size of memoization
     tables for construction functions.

-- Internals: new compilation scheme for construction functions.
   * Compilation of listary generators rewritten from scratch.
   * Compilation scheme of unary and binary generators no more uses
   exceptions. A special ordering (per generator) is now generated to handle
   associative/commutative generators.

-- New web site and enhenced documentation; in particular, the Ocamldoc
   generated documentation is now available on the web site.

In conclusion:
==============

Anyhow, we think Moca is now mature and reliable. Do give it a try and
don't hesitate to send your constructive remarks and contributions !

Fait à Rocquencourt, le 4 juin 2012.

Pierre Weis & Frédéric Blanqui & Richard Bonichon.

Re: [Caml-list] New release of moca

[Jacques Carette]

skaller wrote:
>> 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

Sorry, my feeling is that, by now, the meta-programming core of 
metaocaml is stable enough to be merged into Objective Caml.  I guess I 
should have stated that.

To maintain Objective Caml's competitiveness with GHC, which has 
Template Haskell, this seems to be an obvious thing to do -- especially 
since I personally consider metaocaml to be superior to TH.

Jacques

Re: [Caml-list] New release of moca

[skaller]

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

Re: [Caml-list] New release of moca

[Jacques Carette]

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.

Re: [Caml-list] New release of moca

[skaller]

On Fri, 2007-04-27 at 15:08 +0200, Pierre Weis wrote:
> Relational types in Caml
> 
> I am pleased to announce the 0.3.0 version of Moca, a general construction
> functions generator for relational types in Objective Caml.
> 
> In short:

It is quite nice!

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net