列挙型
MLの血統 (例えば、SML、OCaml、Haskell) である関数型プログラミング言語ではnullary constructorしかない代数データ型は列挙型を実装するために使うことができる。例えば(SMLシグニチャの文法):
もし、実際にそのような表現が実装に必要とされるならば、これらの言語では、小さな整数表現は完全にプログラマから隠蔽される。一方で、Haskellは型が派生でき、型とIntとのマッピングを得る実装ができるEnum型クラスを持つ。
Cの構文を受け継ぐ言語はほとんどが列挙型をサポートする。ただしPerlやJavaScriptなどの動的型付け言語は一般に列挙型をもたない。