多相な型システムの上に数学的構造を反映する

計算機科学的には、数学的構造は「値の集合（台集合）」とそれらの値を関連付ける「関係、演算、関数のシグニチャの組（型）」、そして「関係、演算、関数の計算規則（意味）」の組。

計算機科学的には、数学的構造は「値の集合（台集合）」とそれらの値を関連付ける「関係、演算、関数のシグニチャの組（型）」、そして「関係、演算、関数の計算規則（意味）」の組。