mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
e49a2b510b
- unbreak and support staging - support amd64 - no longer depends on gmake - moves lang/sml-nj-devel to lang/smlnj - supersedes lang/sml-nj PR: 191899 Reviewed by: Robert Cina <transitive@gmail.com>, Timothy Beyer <beyert@cs.ucr.edu> Approved by: Johannes <joemann@beefree.free.de> (maintainer)
13 lines
547 B
Plaintext
13 lines
547 B
Plaintext
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/
|