代数的データ型の技術書

「代数的データ型」とは

直和型と直積型を組み合わせてデータを表現する型システムの概念