From: Mark Shinwell <Mark.Shinwell@cl.cam.ac.uk>
To: freshml@freshml.org, types@cis.upenn.edu, caml-list@inria.fr,
theory@cl.cam.ac.uk
Subject: [Caml-list] Fresh Objective Caml
Date: 01 Jul 2003 15:23:18 +0100 [thread overview]
Message-ID: <1057069397.28071.5869.camel@pot> (raw)
FRESH OBJECTIVE CAML
<http://www.freshml.org/foc/>
On behalf of the FreshML research project at the University of Cambridge
Computer Laboratory, I am pleased to announce the availability of Fresh
Objective Caml.
What is it?
Fresh O'Caml is an extension of the Objective Caml language
<http://caml.inria.fr/ocaml/> with facilities for correctly manipulating
object-language syntax involving alpha-convertible names and binding
operations.
The current implementation of Fresh O'Caml is still somewhat
experimental: many known optimisations have yet to be implemented and
there are undoubtably other shortcomings, or even bugs in the current
release. Please bear this in mind if you use it!
Where to get it?
The Fresh Objective Caml source is available at
<http://www.freshml.org/foc/>. It should compile on any system
on which O'Caml builds. Please note that a native-code compiler is not
provided at this time. The website also contains user documentation and
examples, together with links to two recent research papers which
are relevant to the language. Further background information on the
novel features that Fresh O'Caml adds to O'Caml is at the FreshML
Project web page <http://www.cl.cam.ac.uk/~amp12/freshml/>.
Where to complain?
Should you have problems with Fresh O'Caml, please see
<http://www.freshml.org/bugs/>. Please don't bother the Caml team with
bug reports about Fresh O'Caml, even if the problem appears not to be
related to the new features.
Where to get help?
There is a new mailing list for general discussion about Fresh
O'Caml and FreshML. Please visit
<http://lists.freshml.org/mailman/listinfo/freshml/> if you would like
to join, or to browse list archives.
Mark
--
Mark Shinwell -- http://mrs30.quns.cam.ac.uk/ -- Mark.Shinwell@cl.cam.ac.uk
Theory and Semantics Group, University of Cambridge Computer Laboratory
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next reply other threads:[~2003-07-01 14:23 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-01 14:23 Mark Shinwell [this message]
2003-07-02 13:15 ` Christophe Raffalli
2003-07-02 13:25 ` Mark Shinwell
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=1057069397.28071.5869.camel@pot \
--to=mark.shinwell@cl.cam.ac.uk \
--cc=caml-list@inria.fr \
--cc=freshml@freshml.org \
--cc=theory@cl.cam.ac.uk \
--cc=types@cis.upenn.edu \
/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;
as well as URLs for NNTP newsgroup(s).