MLton MLTONWIKIVERSION

StandardML

Home Index

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

Last edited on 2007-07-08 22:31:15 by MatthewFluet.