Standard ML (SML) is a programming language that combines excellent support for rapid prototyping, modularity, and development of large programs, with performance approaching that of C.

SML Resources

• Tutorials

• Books

• Implementations

• SML web search from Google Co-op

Aspects of SML

• DefineTypeBeforeUse

• EqualityType

• EqualityTypeVariable

• GenerativeDatatype

• GenerativeException

• Identifier

• OperatorPrecedence

• Overloading

• PolymorphicEquality

• ValueRestriction

Using SML

• Fixpoints

• ForLoops

• FunctionalRecordUpdate

• InfixingOperators

• Lazy

• ObjectOrientedProgramming

• OptionalArguments

• Printf

• PropertyList

• ReturnStatement

• Serialization

• StandardMLGotchas

• StyleGuide

• TipsForWritingConciseSML

• TypeVariableScope

• UniversalType

Programming in SML

• Emacs

• Enscript

Notes

• History of SML

• Regions

Related Languages

• Alice

• OCaml