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
PML: a new language is being born
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-03-27 (09:00)
From: Christophe Raffalli <christophe.raffalli@u...>
Subject: PML: a new language is being born

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

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