Similar to Haskell超初心者勉強会17

More from Takashi Kawachi

Haskell超初心者勉強会17

• 1.
  Haskell超初心者勉強会17第14章 前半2013/8/22Thursday, August22, 13
• 2.
  14章はモナドの紹介•文脈の活用方法がわかるのか？•紹介するモナドは mtl パッケージ内に•ghc-pkglist ¦ grep mtl でインストールされていることを確認Thursday, August 22, 13
• 3.
  Writerモナド•もう一つの値がくっついた値•くっつく値はログのように振る舞う•すべてのログが単一のログ値にまとまることを保証できるThursday, August 22,13
• 4.
  ナイーブに実装してみるisBigGang :: Int-> BoolisBigGang x = x > 9isBigGang :: Int -> (Bool, String)isBigGang x =(x > 9, "Compared gang size to 9")Thursday, August 22, 13
• 5.
  すでに文字列(文脈)のくっついた値を処理するには？applyLog :: (a,String) ->(a -> (b, String)) -> (b, String)applyLog (x, log) f =let (y, newLog) = f x in(y, log ++ newLog)>>= と似た感じ(>>=) :: m a -> (a -> m b) -> m bThursday, August 22, 13
• 6.
  applyLogを使ってみる•ログが連結される•関数は文脈なしの値を引数にとる> (3, "abc")`applyLog` isBigGang(False, "abcCompared gang size to 9")> ("Tobin", "Got outlaw name.") `applyLog`(x -> (length x, "Applied length.")(5, "Got out lawname. Applied length.")Thursday, August 22, 13
• 7.
  モノイドが助けに来たよ付加情報はStringにかぎらずリスト一般にできるよね。++使ってるし。applyLog :: (a,[c])-> (a -> (b,[c]))-> (b,[c])付加情報としてByteStringも使いたい。でも今の型だとリストしか使えない…リストとByteString、両方 Monoidmappend はくっつける操作Thursday, August 22, 13
• 8.
  モノイドを使って書き換えてみるapplyLog :: (Monoidm) =>(a,m)->(a->(b,m))->(b,m)applyLog (x, log) f =let (y, newLog) = f x in(y, log `mappend` newLog)「値＋ログ」から「値＋モノイド値」に拡張されたThursday, August 22, 13
• 9.
  食べ物を与えると飲み物+値段が返る関数import Data.Monoidtype Food= Stringtype Price = Sum IntaddDrink :: Food -> (Food, Price)addDrink "beans" = ("milk", Sum 25)addDrink "jerky" = ("whiskey", Sum 99)addDrink _ = ("beer", Sum 30)モノイドは値に計算が定義されているのがいいねThursday, August 22, 13
• 10.
  「食べ物＋値段」にaddDrinkを適用すると..> ("beans", Sum10) `applyLog` addDrink("milk,Sum {getSum=35})> ("dogmeat", Sum 5) `applyLog` addDrink("beer",Sum {getSum=35})> ("dogmeat", Sum 5) `applyLog` addDrink`applyLog` addDrink("beer",Sum {getSum=65})おまけの値はログに限らないことがはっきりしたThursday, August 22, 13
• 11.
  Control.Monad.Writer•Writer w a型•Writer w a 型のMonadインスタンス•Writer w a 型を扱う便利関数Thursday, August 22, 13
• 12.
  Writer w aの定義newtype Writer w a =Writer{runWriter::(a,w)}タプルをラップした型a が主な値の型wがおまけのモノイド値の型Writer値コンストラクタは非公開代わりにwriter関数が公開Thursday, August 22, 13
• 13.
  Writer w aのMonadインスタンスinstance (Monoid w) => Monad (Writer w) wherereturn x = Writer (x, mempty)(Writer (x, v)) >>= f =let (Writer (y, v')) = f x inWriter (y, v `mappend` v')>>= と自分で定義した applyLog はタプルがラップされている以外は同じThursday, August 22, 13
• 14.
  memptyはモノイド値によって変わる（多相的）> runWriter (return3 :: Writer String Int)(3,"")> runWriter (return 3 :: Writer (Sum Int) Int)(3,Sum {getSum=0})> runWriter (return 3 :: Writer (Product Int) Int)(3,Product {getProduct=1})Thursday, August 22, 13
• 15.
  次回はThursday, August 22,13