代数的データ型と圏論の導入の導入。 代数的データ型 代数的データ型Xとは X <- A + BA + Bっていうのは集合Aと集合の重複の無い和との事。 ┌── X───┐ │┌─┐┌─┐│ ││ A││B ││ │└─┘└─┘│ └──────┘javaで言うところのenumみたいなもの。 ただしJavaでは enum X { …

ブログ書くのむっちゃサボってる…。 多相の種類 polymorphism ┬ universal(静的) ┬ parametric(ジェネリクス) │ └ inclusion(サブタイプ) ┬ nominal(継承) │ └ structural(ダックタイピング) └ ad-hoc(実行時) ┬ overloading(オーバーロード) └ coercion(暗…