Differences between current version and previous revision of SML.
Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History
Newer page: | version 8 | Last edited on Wednesday, June 9, 2004 6:49:30 pm | by GianPerrone | |
Older page: | version 7 | Last edited on Wednesday, June 9, 2004 6:45:16 pm | by GianPerrone | Revert |
@@ -1,24 +1,24 @@
"Standard [ML]". A really neat "mostly functional" programming language.
-The language and standard library of SML are formally defined in the book [Definition of Standard ML| http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3874]. This is unusually thorough. (There is a copy at the WaikatoUniversity library.) The [SML Basis Library | http://cm.bell-labs.com/cm/cs/what/smlnj/doc/basis/pages/sml-std-basis.html] (part of the standard) is said to be very well designed. %%%
-''The Basis library is indeed very well designed, but for SML/NJ (one of the major SML compilers) it is poorly documented, making it somewhat difficult to use. --GianPerrone'' %%%
-''The Basis Library pages I've linked to above seem adequate to me. Or those not what you are talking about? --GlynWebster''
+The language and standard library of SML are formally defined in the book [Definition of Standard ML| http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3874]. This is unusually thorough. (There is a copy at the WaikatoUniversity library.) The [SML Basis Library | http://cm.bell-labs.com/cm/cs/what/smlnj/doc/basis/pages/sml-std-basis.html] (part of the standard) is said to be very well designed.
!!Literature
[Why ''you'' want to program in ML | http://www.hprog.org/fhp/MlLanguage] - ML advocacy and information.
http://www.cs.cmu.edu/~rwh/smlbook/ - Introductory text book.
+
+http://www.standardml.org/
!!Implementations
-[Standard ML of New Jersey | http://cm.bell-labs.com/cm/cs/what/smlnj/] is one of the most widely used SML compilers. It generates fast, stable native binaries and runs on a number of platforms. SML/NJ is also nice in terms of giving helpful error information at compile time and being widely supported
. It has a nice interactive environment which allows you to easily tinker with things quickly (or use it as a desktop calculator if you are so inclined).
+[Standard ML of New Jersey | http://cm.bell-labs.com/cm/cs/what/smlnj/] is one of the most widely used SML compilers. It generates fast, stable native binaries and runs on a number of platforms. SML/NJ is also nice in terms of giving helpful error information at compile time and being widely used
. It has a nice interactive environment which allows you to easily tinker with things quickly (or use it as a desktop calculator if you are so inclined).
-[Moscow SML
| http://www.dina
.dk
/~sestoft/mosml.html
] is a smaller, ByteCode interpreted
SML that might be a better choice
if you want
to quickly download something
to experiment
with.
+[MLton
| http://www.mlton
.org
/ ] The best optimizing compiler for
SML. It generates binaries which often run faster than those which gcc(1) produces for C++. It isn't as helpful as SML/NJ
if you are new
to SML, as its error messages are often slightly cryptic. The easy solution is
to use SML/NJ whilst developing your program and then compiling any "release" version
with MLTon
.
-[MLKit
| http://www.itu
.dk/research/mlkit
/ ] Another implementation - It's probably best to just stick with MLTon or
SML/NJ unless you're interested in the "memory regions" aspect of the MLKit
implementation.
+[Moscow SML
| http://www.dina
.dk/~sestoft
/mosml.html
] is a smaller, ByteCode interpreted
SML implementation.
-[MLton
| http://www.mlton
.org
/ ] The best optimizing compiler for SML.
It generates binaries which are often faster than those which gcc(1)
's produces for C++. It isn't as helpful as
SML/NJ if
you are new to SML, as its error messages are often slightly cryptic. The easy solution is to use SML/NJ whilst developing your program and then compiling any
"release
" version with MLTon
.
+[MLKit
| http://www.itu
.dk/research/mlkit
/ ] Another implementation -
It's probably best to just stick with MLTon or
SML/NJ unless
you're interested in the
"memory regions
" aspect of the MLKit implementation
.
-----
CategoryProgrammingLanguages