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.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI