2014-10-31から1日間の記事一覧

Hちょびよみ勉強ノート(8回目)

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