aboutsummaryrefslogblamecommitdiff
path: root/lang/smlnj/pkg-descr
blob: 5e0ba89151d5e020431b2737b00b2d88b7f63e4a (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12











                                                                   
Standard ML (SML) is a safe, modular, strict, functional,
polymorphic programming language with compile-time type checking
and type inference, garbage collection, exception handling,
immutable data types and updatable references, abstract data types,
and parametric modules. It has efficient implementations and a
formal definition with a proof of soundness.

Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for
the Standard ML '97 programming language with associated libraries,
tools, and documentation.

WWW: http://www.smlnj.org/