代数的データ型と初等代数学

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

[mukaken]

この記事、凄い分かりやすかった“普段慣れ親しんでいる計算法則との類似性と体感して，代数的データ型に対する不安は払拭”

[zyzy]

基本部分の分かり易い説明

[sh19910711]

2018 / "Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型の存在は無視できない / int 型や float 型など，「メモリ上の表現」という計算機の気持ちに極めて寄り添ったプリミティヴなデータ型"