View Source: SML - Waikato Linux Users Group

You are viewing an old revision of this page. View the current version.

"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''

!!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 one of the most widely used SML compilers.  It generates fast, stable native binaries and runs on a number of platforms.

[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.

-----
CategoryProgrammingLanguages

2 pages link to SML:

Version 6, saved on Saturday, September 13, 2003 1:07:41 pm by GerwinVanDeSteeg

Edit PageHistory Diff Info LikePages