代数的データ型と初等代数学 - ryota-ka's blog

この記事は以下のページに移転しました． blog.ryota-ka.me 「関数プログラミングとはなんですか？」と問われたときには「デ，データファースト……(震え声)」と答えることが多いのだが，実際 Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう．その有用性ゆえに，近年では新たな言語の策定の際にその概念が輸出され，Rust や Swift などの言語にも採用されている． 「代数的データ型とはなんですか？」と問われたときには―問われたことがないのでわからないのだが―おもむろに ghci か utop を立ち上げて，解説を始めるのではないかと思う．ひとしきり解説をした後，「つまり直積の直和なんですよ〜🙌✨」と言って話を締めくくるだろう． int 型や float 型など，「メモ

[mushus]

"from . to == id かつ to . from == id を満たすことがわかる" idの定義がなくて断念した

[nc44v-134-nvtyqfgq]

ADTsについて

[fabichirox]

難しい。

[siriusjack]

よい

[HiiragiJP]

“▶”

[tarukosu]

Haskell の Either は和として考えられるという話。面白かった

[uxkong]

概ね中学校から高校1年生くらいで習う程度の数学の知識があれば読み進められるはずであった

[kazuau]

“高校1年生くらいで習う程度の数学の知識があれば読み進められるはず”とのことですが、その直後の1を10分くらい眺めて断念します。全く理解できませんでした。

[mactkg]

コード辺っぽいやつの記法がよくわからなかったので、読み進めることができなかった…。

[SWIMATH2]

同型とはなんですか？

[sss-baseball-02]

ふむふむ