7
代数的データ型の代数の乱用-なぜこれが機能するのですか？
代数的データ型の「代数的」表現は、数学のバックグラウンドを持つ誰かに非常に暗示的に見えます。私の言いたいことを説明してみましょう。 基本的なタイプを定義した 製品 • 連合 + シングルトン X 単位 1 そして、X²for X•Xと2Xfor X+Xceteraの短縮形を使用して、リンクされたリストなどの代数式を定義できます。 data List a = Nil | Cons a (List a) ↔ L = 1 + X • L そして二分木： data Tree a = Nil | Branch a (Tree a) (Tree a) ↔ T = 1 + X …