CMU Artificial Intelligence Repository
Caml Light: Small, portable implementation of the ML
language
lang/others/ml/caml_lt/
Caml Light is a small, portable implementation of the ML language.
Caml Light implements the Caml language, a functional language from
the ML family. Caml is quite close to Standard ML, though not strictly
conformant. There are some slight differences in syntax and semantics,
and major differences in the module system (these changes were
required to support separate compilation).
Caml Light is implemented as a bytecode compiler, and fully
bootstraped. The runtime system and bytecode interpreter is written
in standard C, hence Caml Light is easy to port to almost any 32-bit
platform. The whole system is quite small: about 100K for the runtime
system, and another 100K of bytecode for the compiler. 1.2 megabyte of
memory is enough to recompile the whole system. This stands in sharp
contrast with other implementations of ML, such as SML-NJ, that
requires about ten times more memory. Performance is quite good for a
bytecoded implementation: five to ten times slower than SML-NJ.
Caml Light comes in two flavors: a classical, interactive, toplevel-based
system; and a standalone, batch-oriented compiler that produces standalone
programs, in the spirit of the Unix cc compiler. The former is good for
learning the language and testing programs. The latter integrates more
smoothly within programming environments. The generated programs are quite
small, and can be used like any other command.
See Also:
ai/areas/reasonng/atp/systems/coq/
Origin:
ftp.inria.fr:lang/caml-light/
Version: 0.6 (1-SEP-93)
Ports: Unix (Sparc, DecStation 3000, 3100, 5000, HP 9000/710,
Sony News 3410, Sun 3/60, NeXT, 486 PCs with NetBSD),
Macintosh, IBM PC (086/286, 386)
Copying: Copyright (c) 1989-93 Institut National de Recherche en
Informatique et en Automatique (INRIA).
Use, copying, modification, and distribution permitted
(see COPYRIGHT file for details).
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: caml-light@margaux.inria.fr
Mailing List: caml-list@margaux.inria.fr
To subscribe to the mailing list, send mail to
caml-list-request@margaux.inria.fr
See also the comp.lang.ml newsgroup.
Contact: Caml Light, projet Formel
INRIA Rocquencourt
B.P. 105
78153 Le Chesnay
France
Keywords:
Caml Light, INRIA, ML, Programming Languages!Standard ML,
Standard ML
References:
A reference manual and tutorial are included in the distribution.
Last Web update on Mon Feb 13 10:33:15 1995
AI.Repository@cs.cmu.edu