syamino https://blog.hatena.ne.jp/syamino/ @syamino はてなダイアリー https://syamino.hatenadiary.org/ ラムダ計算 ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsyamino.hatenadiary.org%2Fentry%2F20120524%2Fp1" title="ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/s/syamino/20120524/20120524201205.png Hatena Blog https://hatena.blog 2012-05-24 00:00:00 rich https://syamino.hatenadiary.org/entry/20120524/p1 1.0 100%