ラムダ計算で代数的データ型を表現する方法 - Meta reifier @syamino

2012/05/24 70 users false ラムダ計算 true 引数 関数

ラムダ計算ラムダ計算でEitherEither型の値をパターンマッチする状況を考えます。「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool今度は，Bool型の値をパターンマッチする状況を考えます。TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」パ... 続きを読む