From: Xavier Leroy <xleroy@pauillac.inria.fr>
To: caml-list@pauillac.inria.fr
Subject: Release 1.06 of Caml Special Light
Date: Tue, 12 Sep 1995 11:27:13 +0200 (MET DST) [thread overview]
Message-ID: <199509120927.LAA00417@pauillac.inria.fr> (raw)
Announcing Caml Special Light 1.06, the first public release of the
Caml Special Light system.
Caml Special Light is a complete reimplementation of Caml Light that
adds a powerful module system in the style of Standard ML. The module
system is based on the notion of manifest types / translucent sums; it
supports Modula-style separate compilation, and fully transparent
higher-order functors (see the papers in the POPL 94 and 95
proceedings).
Caml Special Light comprises two compilers: a bytecode compiler in the
style of Caml Light (but up to twice as fast), and a high-performance
native code compiler for the following platforms:
Alpha processors: DecStation 3000 under OSF1
Sparc processors: Sun Sparcstation under SunOS 4.1 or Solaris 2
Intel 386 / 486 / Pentium processors: PCs under Linux
Mips processors: DecStation 3100 and 5000 under Ultrix 4
The native-code compiler delivers excellent performance (better than
Standard ML of New Jersey 1.08 on our tests), while retaining the
moderate memory requirements of the bytecode compiler.
Caml Special Light is still in the experimental state: the base
language has changed and will change again in significant ways,
source-level compatibility is not ensured, the implementation is
alpha-release quality, and many Caml Light tools and libraries have
not yet been ported to Caml Special Light. The present release is
targeted towards testers, adventurous souls, and users with strong
interest in modules and high-performance compilation; other users are
encouraged to stay with Caml Light 0.7 for a while.
The source distribution (for Unix machines only) is available by
anonymous FTP on ftp.inria.fr, directory lang/caml-light.
More information on Caml Special Light is available on the World Wide
Web, at http://pauillac.inria.fr/csl/.
Bug reports and technical questions should be directed to
caml-light@pauillac.inria.fr. For general questions and comments,
use the Caml mailing list caml-list@pauillac.inria.fr (to subscribe:
caml-list-request@pauillac.inria.fr).
- Xavier Leroy
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Caml Special Light "Taste Caml in a whole new Light" %
% caml-light@pauillac.inria.fr %
% Projet Cristal, INRIA, B.P.105, 78153 Le Chesnay, France. %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
next reply other threads:[~1995-09-12 9:58 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-09-12 9:27 Xavier Leroy [this message]
1995-09-13 8:15 ` Suggestions Christophe Raffalli
1995-09-13 15:11 ` Suggestions Pierre Weis
1995-09-13 16:51 ` Suggestions Christophe Raffalli
1995-09-14 9:49 ` Suggestions Pierre Weis
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=199509120927.LAA00417@pauillac.inria.fr \
--to=xleroy@pauillac.inria.fr \
--cc=caml-light@pauillac.inria.fr \
--cc=caml-list@pauillac.inria.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;
as well as URLs for NNTP newsgroup(s).