モナド則だけみつめていたい

Ϟφυଇ͚ͩΛݟͭΊ͍͍ͯͨ -5ۦಈ։ൃ

ͻΉΒͱ΋ͻ͜ Ϟφυͷ࿩Λ͠ΖͬͯݴΘΕͨ

݄ͷπΠʔτ https://twitter.com/eielh/status/587211824233230337

݄ͷπΠʔτ https://twitter.com/eielh/status/587211824233230337 ͦ͏Ϟφυͩ

Ϟφυ

ਆ݋Ϟφυ

͕ͭʹͪൃചʜཉ͍͠ʜ

վΊͯϞφυ

ؔ਺ܕϓϩάϥϛϯάʹ͓͍ͯɺϞφυ(monad)͸ܭࢉΛදݱ͢Δ ߏ଄Ͱ͋Γɺܭࢉεςοϓͷྻ͔ΒͳΔɻͭ·Γɺܕ͕Ϟφυߏ଄ Λ΋ͭͱ͍͏ͷ͸ɺ໋ྩΛܨ͛Δ΍Γํɺݴ͍׵͑ΔͱͦͷܕΛ΋ ͭؔ਺Λωετͤ͞Δنଇ͕ఆ·͍ͬͯΔ͜ͱΛ͍͏ɻ͜Ε͸ϓϩ άϥϚ͕ύΠϓϥΠϯΛ࡞Δ͜ͱΛՄೳʹ͢ΔɻύΠϓϥΠϯͰ͸ ೖྗσʔλΛ̍εςοϓͣͭॲཧ͢Δ͕ɺϞφυ͸֤ΞΫγϣϯʹ ௥ՃͷॲཧنଇΛ্৐ͤ͢Δ͜ͱ͕Ͱ͖Δɻ͜ͷ͜ͱ͔ΒɺϞφυ ͸ʮϓϩάϥϜՄೳͳηϛίϩϯʯͱهड़͢Δ͜ͱ΋Ͱ͖Δɻηϛ ίϩϯ͸ଟ͘ͷ໋ྩܕϓϩάϥϛϯάݴޠͰݸʑͷจΛܨ͙ԋࢉࢠ Ͱ͋Γɺ͜ͷྫ͑͸ɺύΠϓϥΠϯதͷจͷؒʹ௥ՃͰίʔυΛ࣮
ߦͰ͖Δ͜ͱΛ͍ࣔࠦͯ͠Δɻ͞ΒʹϞφυ͸૊ΈཱͯϥΠϯͱ͍ ͏ϝλϑΝʔͰઆ໌͢Δ͜ͱ΋Ͱ͖ΔɻϕϧτίϯϕΞ͕ػೳϢχο τͷؒͷσʔλసૹΛߦ͍ɺ֤Ϣχοτ͕Ұ౓ʹͻͱͭͣͭͦΕΛ ॲཧ͢ΔͷͰ͋Δɻଞʹ΋ɺδΣωϦοΫܕΛߏங͢ΔͨΊͷؔ਺ ܕσβΠϯύλʔϯͱݟΔ͜ͱ΋Ͱ͖Δ

ؔ਺ܕϓϩάϥϛϯάʹ͓͍ͯɺϞφυ(monad)͸ܭࢉΛදݱ͢Δ ߏ଄Ͱ͋Γɺܭࢉεςοϓͷྻ͔ΒͳΔɻͭ·Γɺܕ͕Ϟφυߏ଄ Λ΋ͭͱ͍͏ͷ͸ɺ໋ྩΛܨ͛Δ΍Γํɺݴ͍׵͑ΔͱͦͷܕΛ΋ ͭؔ਺Λωετͤ͞Δنଇ͕ఆ·͍ͬͯΔ͜ͱΛ͍͏ɻ͜Ε͸ϓϩ άϥϚ͕ύΠϓϥΠϯΛ࡞Δ͜ͱΛՄೳʹ͢ΔɻύΠϓϥΠϯͰ͸ ೖྗσʔλΛ̍εςοϓͣͭॲཧ͢Δ͕ɺϞφυ͸֤ΞΫγϣϯʹ ௥ՃͷॲཧنଇΛ্৐ͤ͢Δ͜ͱ͕Ͱ͖Δɻ͜ͷ͜ͱ͔ΒɺϞφυ ͸ʮϓϩάϥϜՄೳͳηϛίϩϯʯͱهड़͢Δ͜ͱ΋Ͱ͖Δɻηϛ ίϩϯ͸ଟ͘ͷ໋ྩܕϓϩάϥϛϯάݴޠͰݸʑͷจΛܨ͙ԋࢉࢠ Ͱ͋Γɺ͜ͷྫ͑͸ɺύΠϓϥΠϯதͷจͷؒʹ௥ՃͰίʔυΛ࣮
ߦͰ͖Δ͜ͱΛ͍ࣔࠦͯ͠Δɻ͞ΒʹϞφυ͸૊ΈཱͯϥΠϯͱ͍ ͏ϝλϑΝʔͰઆ໌͢Δ͜ͱ΋Ͱ͖ΔɻϕϧτίϯϕΞ͕ػೳϢχο τͷؒͷσʔλసૹΛߦ͍ɺ֤Ϣχοτ͕Ұ౓ʹͻͱͭͣͭͦΕΛ ॲཧ͢ΔͷͰ͋Δɻଞʹ΋ɺδΣωϦοΫܕΛߏங͢ΔͨΊͷؔ਺ ܕσβΠϯύλʔϯͱݟΔ͜ͱ΋Ͱ͖Δ Α͘Θ͔Βͳ͍

܅͚ͩΛΈͭΊ͍͍ͯͨ

Ϟφυଇ KPJOGNBQKPJOKPJOKPJO KPJOGNBQSFUVSOKPJOSFUVSOJE SFUVSOGGNBQGSFUVSO KPJOGNBQ GNBQG GNBQGKPJO

Ϟφυଇ KPJOGNBQKPJOKPJOKPJO KPJOGNBQSFUVSOKPJOSFUVSOJE SFUVSOGGNBQGSFUVSO KPJOGNBQ GNBQG GNBQGKPJO ͏͍ͭ͘͠

ͱ͏͡ΐ͏͡ΜͿͭ SFUVSO KPJO GNBQ

return x YΛശʹೖΕΔ Y

return 1 :: [] Int [1] ཁૉ͕ͻͱͭͷϦετ

return (return 1) :: [] [] Int [[1]] ϦετͷϦετ

join [[x]] ೋͭҎ্ͷശʹ͸͍͍ͬͯΔ࣌ ֎ͷശΛফͤΔ Y

join [[x]] ೋͭҎ্ͷശʹ͸͍͍ͬͯΔ࣌ ֎ͷശΛফͤΔ Y ֎ͷശʹ͋ͬͨ৘ใ͸ ಺ͷശʹ٧ΊͨΓ ͳ͘ͳͬͨΓ

join [[1]] :: [] Int [1] ཁૉ͕ͻͱͭͷϦετ

join [[[1]]] :: [] [] Int [[1]] ϦετͷϦετ

ശ͔Βத਎Λग़ͤͳ͍

[1] -> 1 ʹ͸Ͱ͖ͳ͍

ͳ͔ͥ ཁૉ͕ෳ਺͋Δ৔߹Λߟ͑Δ [[1,2,3]] -> [1,2,3] [[1],[2],[3]] -> [1,2,3]

ͳ͔ͥ ཁૉ͕ෳ਺͋Δ৔߹Λߟ͑Δ [[1,2,3]] -> [1,2,3] [[1],[2],[3]] -> [1,2,3] ͳΜͱ͔ͳΔ

[1,2,3] -> 1, 2, 3

[1,2,3] -> 1, 2, 3 ͳΜͱ͔ͳΒͳ͍ʂʂ

ശΛݮΒ͢ͱ͖ͷϧʔϧ͕͋Δ

ശΛݮΒ͢ͱ͖ͷϧʔϧ͕͋Δ ͻͱͭശ͕͋Ε͹٧ΊࠐΊΔ

fmap f த਎ʹରͯ͠࢖͑ΔػೳΛ ശʹೖΕͯ΋࢖͑ΔΑ͏ʹ͢Δ Y Z G Y Z GNBQG

add3 = (3+) add3 1 -> 4 (fmap add3) [1]
-> [4]

add3 = (3+) (fmap (fmap add3)) [[1]] -> [[4]]

add3 = (3+) (fmap add3) [1,2,3] -> [4,5,6]

add3 = (3+) (fmap add3) [1,2,3] -> [4,5,6] ശʹ߹ΘͤͯਐԽ͢Δ

Ϟφυ͋ΔͨΊʹ͸ ϞφυଇΛकΔඞཁ͕͋Δ

KPJOGNBQKPJO KPJOKPJO Y Y Y Y Y Y

KPJOGNBQKPJO KPJOKPJO Y Y Y Y Y Y ֎͔Β֎ͯ͠΋ɺ಺͔Β֎ͯ͠΋ ಉ͡ʹͳΔ͜ͱ

KPJOGNBQSFUVSO KPJOSFUVSO Y Y Y Y Y Y

KPJOGNBQSFUVSO KPJOSFUVSO Y Y Y Y Y Y ಺ଆ͔Βശʹ͍Εͯ΋ ֎ଆ͔Βശʹ͍Εͯ΋
ശΛͳͤ͘͹ಉ͡ʹͳΔ͜ͱ

SFUVSOG GNBQGSFUVSO Y Y Z Z Y Z

SFUVSOG GNBQGSFUVSO Y Y Z Z Y Z த਎Λม͑ͯശʹ͍ΕΔ ശʹ͍Ε͔ͯΒத਎Λม͑Δ
Ͳͬͪ΋ಉ͡ʹͳΔ͜ͱ

KPJOGNBQ GNBQG GNBQGKPJO Y Z Y Z Y Y Z
Y Y

KPJOGNBQ GNBQG GNBQGKPJO Y Z Y Z Y Y Z
Y Y த਎Λม͔͑ͯΒശ͔Βग़ͯ͠΋ ശ͔Βग़ͯ͠த਎Λม͑ͯ΋ Ͳͬͪ΋ಉ͡ʹͳΔ͜ͱ

ശ͔Βத਎Λग़͞ͳ͖ΌOK

ശ SFUVSOͰ࡞ΕΔശ

ശ SFUVSOͰ࡞ΕΔശ SFUVSOҙ֎Ͱശ͕ͭ͘ΕΔ৔߹͕͋Δ

ശ SFUVSOͰ࡞ΕΔശ <><><> < >< ><>

ശ SFUVSOͰ࡞ΕΔശ <><><> < >< ><> Ϧετͷ৔߹

ശʹೖΕͭͭԿ͔͢Δ

ശʹೖΕͭͭԿ͔͢Δ Y Z

ശʹೖͬͯͨΒʁ Y Z GNBQ

૊Έ߹ΘͤͨΒ… Z [ GNBQ Y

join… Z [ GNBQ Y

Λ͔ͭͬͯܨ͛Δ… Z [ GNBQ B GNBQ KPJO KPJO

fmap join ͷ܁Γฦ͠

x >>= f <-> join (fmap f x)

ΈͳΕ͍ͯΔϞφυଇ SFUVSOYGGY NSFUVSON NG HN aYGYH

ശͷத SFUVSOͰ͸ೖΕΒΕͳ͍ Կ͔͕ೖ͍ͬͯΔ

ശͷத ശ͕ͻͱͭͰ΋͋Ε͹ ·ͱΊΒΕΔ

Ϧετ ཁૉ͕ͨ͘͞Μ͸͍ͬͯΔ

Maybe Կ΋͸͍ͬͯͳ͍ശ͕͋Δ

IO ੈքͱର࿩͢Δ৔ॴ͕͸͍ͬͯΔ ശ͔Βத਎ΛऔΓग़͢ͷʹੈք͕ඞཁ

Ϟφυ೉͍͠

·ͱΊ

·ͱΊ ശͷதʹശΛೖΕΒΕΔ ശͷதʹೖ͍ͬͯΔശ͸औΓग़ͤΔ ͨͩ͠ɺശͷதʹԡ͠ࠐΉ ശͷத͔Βத਎͸ग़ͤͳ͍ ग़ͤͳ͍த਎ΛফԽ͢Ε͹ग़ͤͳ͘͸ͳ͍ ശʹೖΕͳ͕ΒԿ͔͢ΔͷΛ૊Έ߹ΘͤΒΕΔ

֮͑ํ ϦετϦετϦετϦετ͸ϦετʹͰ͖Δ ϝλϝλϝλϓϩάϥϛϯά͸ϝλϓϩάϥ ϛϯάͩ

ࢀߟจݙ Wikibooks Haskell/ݍ࿦    http://ja.wikibooks.org/wiki/Haskell/%E5%9C%8F %E8%AB %96#.E3.83.A2.E3.83.8A.E3.83.89.E5.89.87.E3.81.A 8.E3.81.9D.E3.81.AE.E9.87.8D.E8.A6.81.E6.80.A7

モナド則だけみつめていたい

モナド則だけみつめていたい

More Decks by Tomohiko Himura

Other Decks in Programming

Featured

Transcript