4日前15 min
代数的データ型
代数的データ型 (algebraic data type、ADT) は、既にある型を「かつ」(直積) と「or」(直和) で組み合わせて作る型。 新しい型を作る方法は、突き詰めると2つしかない。 直積 (product): A の値 かつ …
112 のタグ。選ぶと該当する記事に絞り込みます。
2 件中 1–2 件
代数的データ型 (algebraic data type、ADT) は、既にある型を「かつ」(直積) と「or」(直和) で組み合わせて作る型。 新しい型を作る方法は、突き詰めると2つしかない。 直積 (product): A の値 かつ …
単純型付きラムダ計算 (simply typed lambda calculus) は、関数の定義と適用だけからなる最小のプログラミング言語 (ラムダ計算) に型を付けたもの。 型が付いた項は「関数でないものを呼ぶ」「Boolに数を渡す」と…