2015-01-04から1日間の記事一覧
Church Pairsとはウィキペディアを参照すると: Church encoding - Wikipedia, the free encyclopedia となっています。これをHaskellで書き下すと: Prelude> let pair = \x -> \y -> \z -> z x y これを、使ってみると: Prelude> pair 4 5 (+) 9 Prelude …
Church Pairsとはウィキペディアを参照すると: Church encoding - Wikipedia, the free encyclopedia となっています。これをHaskellで書き下すと: Prelude> let pair = \x -> \y -> \z -> z x y これを、使ってみると: Prelude> pair 4 5 (+) 9 Prelude …