tool: CAML
-
Language:
|
Caml
|
|---|
-
Version:
|
3.1
|
|---|
-
Parts:
|
compiler, interactive development environment
|
|---|
-
Author:
|
Ascander Suarez, Pierre Weis, Michel Mauny, others (INRIA)
|
|---|
-
Location:
|
ftp://ftp.inria.fr/lang/caml/
|
|---|
-
Description:
|
Caml is a programming language from the ML/Standard ML family,
with functions as first-class values, static type inference
with polymorphic types, user-defined variant and product
types, and pattern-matching. The CAML V3.1 implementation
adds lazy and mutable data structures, a "grammar" mechanism
for interfacing with the Yacc parser generator,
pretty-printing tools, high-performance arbitrary-precision
arithmetic, and a complete library.
|
|---|
-
Bugs:
|
caml@margaux.inria.fr
|
|---|
-
Ports:
|
Sun-3 Sun-4 Sony-68k Sony-R3000 Decstation Mac-A/UX Apollo
|
|---|
-
Portability:
|
low (built on a proprietary runtime system)
|
|---|
-
Status:
|
maintained but no longer developed
|
|---|
-
Discussion:
|
caml-list@margaux.inria.fr, comp.lang.ml
|
|---|
-
Contact:
|
Pierre Weis <Pierre.Weis@inria.fr>
|
|---|
-
Updated:
|
October 20th, 1991
|
|---|
language: Caml
category: functional languages
summary, or
expanded.
category: interactive
summary, or
expanded.
|
|