# Standard ML

Skill · Programming Languages

Canonical page: https://career.thegoodapps.co/skills/standard-ml

Standard ML (SML) is a general-purpose functional programming language known for its strong static type system, type inference, and formally defined semantics. It is used primarily in academia and research for teaching programming language theory, formal verification, and compiler design, with implementations like SML/NJ and MLton.

Related skills: [OCaml](https://career.thegoodapps.co/skills/ocaml), [Functional Programming](https://career.thegoodapps.co/skills/functional-programming), [Haskell](https://career.thegoodapps.co/skills/haskell), [F#](https://career.thegoodapps.co/skills/f), [Compiler Design](https://career.thegoodapps.co/skills/compiler-design)

## Open roles requiring Standard ML (0)

None of the roles we have read name this skill yet. A large share of the visible corpus has not been parsed for skills, so this is at least as likely to be our backlog as the market's verdict.