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