CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Caml Light: Small, portable implementation of the ML language

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: 


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: Mailing List: To subscribe to the mailing list, send mail to See also the 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