代数的データ型の技術書 (2 冊)

「代数的データ型」とは

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