SAL Home PROGRAM Languages & Compilers

Caml Light

Caml Light is a small, portable implementation of the ML language that runs on most Unix machines. 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.

Caml Light is implemented as a bytecode compiler, and fully bootstrapped. 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.

Current Version:   0.73

License Type:   Free

Home Site:
http://pauillac.inria.fr/caml/distrib-caml-light-eng.html

Source Code Availability:   Yes

Available Binary Packages:

Targeted Platforms:

Unix, Windows, MacOS

Software/Hardware Requirements:

None

Other Links:
None

Mailing Lists/USENET News Groups:

None

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers


Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.