---
key: pl/standard-ml
kind: plang
name: "Standard ML"
url: https://plangs.page/standard-ml
---

# Standard ML

> Functional programming language known for its type inference and usage in compiler writing.

Standard ML is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers.

## Facts

- Appeared: 1983
- Homepage: https://smlfamily.github.io/
- Languish ranking: #148

## Relationships

### Paradigms

- [Functional](https://plangs.page/paradigm/functional)
- [Imperative](https://plangs.page/paradigm/imperative)
- [Modular](https://plangs.page/paradigm/modular)
- [Multi](https://plangs.page/paradigm/multi)

### Platforms

- [BSD](https://plangs.page/platform/bsd)
- [Cross-Platform](https://plangs.page/platform/cross)
- [Linux](https://plangs.page/platform/linux)

### Type Systems

- [Algebraic Data Types](https://plangs.page/type-system/algebraic)
- [Inferred](https://plangs.page/type-system/inferred)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)

### Dialects

- [MLton](https://plangs.page/mlton)

### Implemented By

- [MLton](https://plangs.page/mlton)

### Influenced By

- [Pascal](https://plangs.page/pascal)

### Influenced

- [F#](https://plangs.page/f-sharp)
- [Futhark](https://plangs.page/futhark)
- [Haskell](https://plangs.page/haskell)
- [MLton](https://plangs.page/mlton)
- [OCaml](https://plangs.page/ocaml)
- [Python](https://plangs.page/python)
- [Rust](https://plangs.page/rust)
- [Scala](https://plangs.page/scala)

### Written With

- [C](https://plangs.page/c)

### Used to Write

- [Futhark](https://plangs.page/futhark)
- [Isabelle](https://plangs.page/isabelle)

### Licenses

- [BSD](https://plangs.page/license/bsd)

### Tags

- [Application](https://plangs.page/tag/app)
- [Compiler](https://plangs.page/tag/compiler)
- [Educational](https://plangs.page/tag/edu)
- [Industrial Control](https://plangs.page/tag/industrial)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Proof Assistant](https://plangs.page/tag/proofs)
- [Ray Tracer](https://plangs.page/tag/ray-tracer)