TypeScriptで学ぶ代数的データ型

代数的データ型とはなにか 代数的データ型とは、要素の個数の足し算と掛け算のアナロジーで語ることができる型のことを指すというふわっとしたコンセンサスがありますが、 厳密に「これが代数的データ型である」という定義はおそらくありません[1]。 また、代数的データ型はいわゆる関数型言語で実装されることが多い言語機能であり、 代数的データ型を重用するプログラミングスタイルは関数型の一派としてみなされる傾向がある[2]と思っています。 本記事では数学的な説明やアナロジーは用いず、なるべく具体的なコードを提示します。 そして、代数的データ型という言葉を「かつ」と「または」を表すことができる型として使います。 更に、「または」の型はコンパイラによって漏れなく徹底的にチェックされる必要があります。 詳細は後ほど説明します。 本記事の構成 まず、本記事における「代数的データ型」とはなにかを説明し、それをコード

[efcl]

TypeScriptで代数的データ型。 And Orの表現、switch caseでコンパイルエラーにする、Maybe的な表現について

[yarumato]

“代数的データ型のエンコード方法は単純にオブジェクトを使用。つまり、「かつ」の型はクラスではなくオブジェクトを使って表す　「または」の型はtypeというタグを付けたオブジェクトのユニオンを使って表す”