🚀 go-pugleaf

I'm afraid this repost is just missing the point.  The original
posting asks for IBM PC implementations of Caml.  The ``Caml Strong''
implementation, described in the repost, does not run on the PC.

On the other hand, there is a PC version of the Caml Light
implementation.  Actually, there are two of them: one runs on any PC,
but is severely limited by the 640k barrier; the other requires a
80386 or 80486, but runs in protected mode, meaning no memory
limitations and reasonable speed.

All Caml implementations are available by anonymous FTP from
nuri.inria.fr (128.93.1.26).  Caml Light is in directory
lang/caml-light.  The currently distributed version is 0.4.  Release
0.5 is coming Real Soon Now.  It adds some interesting language
features (e.g. Mauny's parsers and printers over streams).  There's
now a complete user's manual.  And lots of work has been done on the
microcomputer ports, in particular to add a portable set of graphics
primitives.

Concerning SML on a PC, I have heard about three implementations:

* Micro-ML, or uML, developed at University of Umea.
It is available by anonymous FTP from ftp.cs.ume.se, file
pub/uml021.zoo.  This is an interpreter for the core SML language,
without the modules.

* A port of Edinburgh ML 0.35. Available by FTP from
forwiss.uni-passau.de.

* A port of the New Jersey compiler to the 80386 PC under Windows,
developed by Yngvi Guttesen at the Technical University of Denmark.  A
report on this appeared in the last ML workshop, but I don't know if
the system is distributed yet. Seems to require a high-end PC (32M).


- Xavier Leroy

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The Caml Light racing team, projet Formel, INRIA Rocquencourt, France %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%