Penguin

Differences between current version and predecessor to the previous major change of SML.

Other diffs: Previous 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 6 Last edited on Saturday, September 13, 2003 1:07:41 pm by GerwinVanDeSteeg Revert
@@ -1,20 +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.schizomaniac .net /ml.html ] - ML advocacy. 
+[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. 
+[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).  
+  
+[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.  
+  
+[Moscow SML | http://www.dina.dk/~sestoft/mosml.html ] is a smaller, ByteCode interpreted SML implementation
  
-[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
+[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