ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Centrum Wiskunde & Informatica ploeg@cwi.nl Oleg Kiselyov University of Tsukuba oleg@okmij.org Abstract A series of list appends or monadic binds f
Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Centrum Wiskunde & Informatica ploeg@cwi.nl Oleg Kiselyov University of Tsukuba oleg@okmij.org Abstract A series of list appends or monadic binds for many monads per- forms algorithmically worse when left-associated. Continuation- passing style (CPS) is well-known to cure this severe dependence
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - minad/writer-cps-transformers: Compatibility package for old transformers: Stricter drop in replacements for WriterT and RWST
