* PML: a new language is being born
@ 2007-03-27 9:01 Christophe Raffalli
0 siblings, 0 replies; only message in thread
From: Christophe Raffalli @ 2007-03-27 9:01 UTC (permalink / raw)
To: caml-list, David Aspinall, Tom Hirschowitz, Paul Roziere,
Manoury Pascal, didier.remy, Emmanuel Onzon, Emmanuel Chailloux,
lama-logique, Daniel Hirschkoff
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-03-27 9:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-03-27 9:01 PML: a new language is being born Christophe Raffalli
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox