From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
To: caml-list@inria.fr, David Aspinall <da@inf.ed.ac.uk>,
Tom Hirschowitz <tom.hirschowitz@ens-lyon.fr>,
Paul Roziere <Paul.Roziere@pps.jussieu.fr>,
Manoury Pascal <Pascal.Manoury@pps.jussieu.fr>,
didier.remy@inria.fr, Emmanuel Onzon <emmanuel.onzon@ens-lyon.fr>,
Emmanuel Chailloux <Emmanuel.Chailloux@pps.jussieu.fr>,
lama-logique@univ-savoie.fr,
Daniel Hirschkoff <hirschko@ens-lyon.fr>
Subject: PML: a new language is being born
Date: Tue, 27 Mar 2007 11:01:55 +0200 [thread overview]
Message-ID: <4608DD83.4060900@univ-savoie.fr> (raw)
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
reply other threads:[~2007-03-27 9:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4608DD83.4060900@univ-savoie.fr \
--to=christophe.raffalli@univ-savoie.fr \
--cc=Emmanuel.Chailloux@pps.jussieu.fr \
--cc=Pascal.Manoury@pps.jussieu.fr \
--cc=Paul.Roziere@pps.jussieu.fr \
--cc=caml-list@inria.fr \
--cc=da@inf.ed.ac.uk \
--cc=didier.remy@inria.fr \
--cc=emmanuel.onzon@ens-lyon.fr \
--cc=hirschko@ens-lyon.fr \
--cc=lama-logique@univ-savoie.fr \
--cc=tom.hirschowitz@ens-lyon.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox