disco
latest
Disco Language Reference
Arithmetic
Comparison
Logical operations
Syntax
Types
Base types
Function types
Polymorphism
Algebraic types
Unit type
Pair types
Sum types
Collection types
Propositions
Subtypes
Subtyping for algebraic types
Functions
Collections
Combinatorics
Error messages
Symbols
Quick Tutorial for experienced functional programmers
disco
Docs
»
Disco Language Reference
»
Types
»
Algebraic types
Edit on GitHub
Algebraic types
ΒΆ
Algebraic types
are the building blocks that let us build up more complex types.
Unit type
Pair types
n-tuples and nested pairs
Sum types
Read the Docs
v: latest
Versions
latest
stable
poly-types
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.