2003-05-06 19:40:18 +02:00
|
|
|
The Caml Light system comprises the following parts:
|
2000-06-21 13:42:46 +02:00
|
|
|
|
|
|
|
- An interactive system, based on a read-eval-print loop: the user enters
|
|
|
|
a phrase, the system compiles it and executes it on the fly, then print the
|
|
|
|
outcome of evaluation. The interactive system is great for learning the
|
2003-05-06 19:40:18 +02:00
|
|
|
language and testing programs.
|
2000-06-21 13:42:46 +02:00
|
|
|
- A batch compiler and linker, camlc, with a command-line interface similar to
|
|
|
|
the one of C compilers. The compiler produces standalone executable programs
|
|
|
|
that can later be invoked just as any other command on the system. It
|
|
|
|
integrates smoothly within the Unix programming environment
|
2003-05-06 19:40:18 +02:00
|
|
|
(make, Emacs, ...).
|
2000-06-21 13:42:46 +02:00
|
|
|
- A medium-sized standard library, providing a number of general-purpose
|
|
|
|
functions and implementations of a few essential data structures
|
2003-05-06 19:40:18 +02:00
|
|
|
(lists, arrays, hash tables, sets, ...).
|
|
|
|
- A tool to build libraries of frequently-used program modules.
|
2000-06-21 13:42:46 +02:00
|
|
|
- A parser generator and a lexical analyzer generator, in the style of lex and
|
2003-05-06 19:40:18 +02:00
|
|
|
yacc.
|
2000-06-21 13:42:46 +02:00
|
|
|
- Various programming tools and several interface libraries.
|