kamekoopa https://blog.hatena.ne.jp/kamekoopa/ 新しいフォルダ (3) https://kamekoopa.hateblo.jp/ Haskell 勉強会 代数的データ型と圏論の導入の導入。 代数的データ型 代数的データ型Xとは X <- A + BA + Bっていうのは集合Aと集合の重複の無い和との事。 ┌── X───┐ │┌─┐┌─┐│ ││ A││B ││ │└─┘└─┘│ └──────┘javaで言うところのenumみたいなもの。 ただしJavaでは enum X { // 型 A, // 値 B; // 値 } だけど、代数的データ型では X <- A + B (型) (型) (型)との事。 -> (match, unapply Eitherをパターンマッチで分解する的な？) X A + B <- (コンストラクタ eitherA … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkamekoopa.hateblo.jp%2Fentry%2F20141031%2F1414728789" title="Hちょびよみ勉強ノート(8回目) - 新しいフォルダ (3)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-10-31 13:13:09 rich https://kamekoopa.hateblo.jp/entry/20141031/1414728789 1.0 100%