fugafuga.write

日々のログ

2018-03-12から1日間の記事一覧

すごいH本 part83

ピエールの人生とは せっかくの休暇にバランス棒やってんのに鳥に邪魔されるピエール まず、鳥とポールを定義 その後に、ポールの右と左に鳥が止まる関数を定義 type Birds = Int type Pole = (Birds, Birds) landLeft :: Birds -> Pole -> Pole landLeft n …

すごいH本 part82

モナド モナドは強化されたアプリカティブファンクターである。 モナドはある願いを叶えるための、アプリカティブ値の自然な拡張である。 願いとは、 普通の値 a を取って文脈付きの値を返す関数に、文脈付きの値 m a を渡したい というもの。 言い換えると…

すごいH本 part81

モノイドで畳み込む いろいろなデータ構造の上に畳み込みを定義したい時にモノイドは便利。 *Main Lib F> F.foldr (*) 1 [1,2,3] 6 *Main Lib F> F.foldl (+) 2 (Just 9) 11 *Main Lib F> F.foldr (||) False (Just True) True もう少し複雑なデータ構造を畳…

すごいH本 part80

リストはモノイド インスタンス宣言 instance Monoid [a] where mempty = [] mappend = (++) リストは中身の型がなんであっても常に Monoid のインスタンスにできる。 *Main> [1,2,3] `mappend` [4,5,6] [1,2,3,4,5,6] *Main> ("one" `mappend` "two") `mapp…