tomo🐧@learning
@cocoatomo
@vvakame 代数的データ型の定義に来るパターンとしては, <データコンストラクタ> <型>* (| <データコンストラクタ> <型>*)* となります. データコンストラクタの種類は1つでもいいのですが, それではパターンが1つしかないので目印以上の意味は無いです.
2014-11-25 23:51:47
わかめ@毎日猫がいる
@vvakame
TypeScriptのunion typesは直和型で、type aliasは代数的データ型の定義に近いが基本的にインタフェースでまかなえるなら全部そうすべきでtype aliasにunion typesが絡まない表現が来るの多分バッドパターンらしいなという学びだ。アリシャス!
2014-11-25 23:54:50
Masanori Ogino
@omasanori
直積型もn_a通りの値をとる型aとn_b通りの値をとる型bに対してa * bはn_a * n_b通りの値をとる(組み合わせだからそりゃそうだという話)
2014-11-25 23:54:55
わかめ@毎日猫がいる
@vvakame
圏論、謎の記号がモリモリでてきて登場人物が全部欧米風の名前の上人数もめっちゃ出てくる小説を読んでいるような気持ちになるし、小説と違ってオチが理解できないという罠もあるな!
2014-11-25 23:57:51
tomo🐧@learning
@cocoatomo
代数的データ型の説明でこれ nineties.github.io/category-semin… 出すのはちょっと無茶だと思い自粛しました.
2014-11-25 23:57:55