Differences between version 4 and predecessor to the previous major change of SML.
Other diffs: Previous Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 4 | Last edited on Saturday, March 1, 2003 6:43:44 pm | by GlynWebster | Revert |
| Older page: | version 3 | Last edited on Thursday, January 23, 2003 12:17:52 am | by GianPerrone | Revert |
@@ -1,5 +1,17 @@
-A really neat "mostly functional" programming language.
+"Standard [ML]".
A really neat "mostly functional" programming language.
-http://www
.schizomaniac
.net
/ml
.html
+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''
-http://www.cs.cmu.edu/~rwh/smlbook/
+!!Literature
+
+[Why ''you'' want to program in ML | http://www.schizomaniac.net/ml.html] - ML advocacy.
+
+
http://www.cs.cmu.edu/~rwh/smlbook/ - Introductory text book.
+
+!!Implementations
+
+[Standard ML of New Jersey | http://cm.bell-labs.com/cm/cs/what/smlnj/] is the biggy. ''(can any one else describe it? I've not used it.)''
+
+[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.
