---
key: tsys/algebraic
kind: typeSystem
name: "Algebraic Data Types"
url: https://plangs.page/type-system/algebraic
---

# Algebraic Data Types

Kind of composite type, i.e., a type formed by combining other types.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Algebraic_data_type

## Relationships

### Plangs

- [Clean](https://plangs.page/clean)
- [Curry](https://plangs.page/curry)
- [F#](https://plangs.page/f-sharp)
- [Flix](https://plangs.page/flix)
- [Gleam](https://plangs.page/gleam)
- [Haskell](https://plangs.page/haskell)
- [Haxe](https://plangs.page/haxe)
- [Idris](https://plangs.page/idris)
- [Isabelle](https://plangs.page/isabelle)
- [Mercury](https://plangs.page/mercury)
- [MLton](https://plangs.page/mlton)
- [OCaml](https://plangs.page/ocaml)
- [PureScript](https://plangs.page/purescript)
- [Rust](https://plangs.page/rust)
- [Scala](https://plangs.page/scala)
- [Standard ML](https://plangs.page/standard-ml)
- [Unison](https://plangs.page/unison)