Dear list members,

I am pleased to announce the first EXPERIMENTAL release of PML,
an ML like programming language, which will be extended with a prover soon.

In this release, only the programming language is implemented, but I
am interested to hear remarks from the members of this list to try to
get the best possible initial design.

More information, development plan, download and manual are available at

   http://www.lama.univ-savoie.fr/~raffalli/pml

The main features of the language are:
- great cartesian product unification (records, modules and objects are the same, arrays are missing
and will not be unified)
- polymorphic variant needing no type annotation (but it is a good idea to use some)
- two kinds of inheritance: open inheritance and multiple (closed) inheritance (read the manual to
know what this mean) both for records and pattern-matching which are dual in PML.
- etc.

--
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffa...@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs