---
key: pl/mlton
kind: plang
name: "MLton"
url: https://plangs.page/mlton
---

# MLton

> SML97 compatibile language with advanced optimizations.

Whole-program optimizing compiler for the Standard ML programming language. It generates efficient executables by leveraging advanced optimizations, unboxed native data types, fast arithmetic operations via GMP, and supports extensive code generation and garbage collection strategies. MLton offers a robust SML environment with full SML97 compatibility and a seamless C foreign function interface.

## Facts

- Appeared: 1997
- Homepage: http://mlton.org
- GitHub: https://github.com/MLton/mlton

## Relationships

### Paradigms

- [Compiled](https://plangs.page/paradigm/compiled)
- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Imperative](https://plangs.page/paradigm/imperative)
- [Multi](https://plangs.page/paradigm/multi)

### Platforms

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

### 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)

### Dialect of

- [Standard ML](https://plangs.page/standard-ml)

### Implements

- [Standard ML](https://plangs.page/standard-ml)

### Influenced By

- [Standard ML](https://plangs.page/standard-ml)

### Licenses

- [Dual](https://plangs.page/license/dual)

### Tags

- [Compiler](https://plangs.page/tag/compiler)