MLton 20210117

# StandardML

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

## Aspects of SML

- DefineTypeBeforeUse

- EqualityType

- EqualityTypeVariable

- GenerativeDatatype

- GenerativeException

- Identifier

- OperatorPrecedence

- Overloading

- PolymorphicEquality

- TypeVariableScope

- ValueRestriction

## Using SML

- Fixpoints

- ForLoops

- FunctionalRecordUpdate

- InfixingOperators

- Lazy

- ObjectOrientedProgramming

- OptionalArguments

- Printf

- PropertyList

- ReturnStatement

- Serialization

- StandardMLGotchas

- StyleGuide

- TipsForWritingConciseSML

- UniversalType

## Programming in SML

- Emacs

- Enscript

- Pygments

## Notes

- History of SML

- Regions

## Related Languages

- Alice

- F#

- OCaml