代数的データ型
#型システム
しあわせ
ADT
#直和型
圏論
の
代数
と関係ある
一般化したのが
GADTs