Algebraic Data Type

代数データ型

#Programming

列挙（和）された値の組み合わせ（積）を定義し、無効な組み合わせを表現できないように型化する方法