Haskell の型クラスと Typeclassopedia の紹介 #w8lt

Transcript

1. )BTLFMM
   ͷܕΫϥεͱ 5ZQFDMBTTPQFEJB
   ͷ঺հ 8-5
   !BNVUBLF@T
2. ܕΫϥε  ܕʹڞ௨͢Δੑ࣭Λൈ͖ग़ͨ͠΋ͷ
    ΦϒδΣΫτࢦ޲ͷΫϥεͱ͸ҧ͏ͷͰ஫ҙ
    ܕΫϥε͸͍Ζ͍ΖͳݴޠͰ࢖͑Δ
    ͜ͷεϥΠυͰ͸
   )BTLFMM
   Λ࢖͏
    ྫ
    &R
   Ϋϥε
   ೚ҙͷͭͷ஋ʹ͍ͭͯ౳͍͔͠౳͘͠ͳ ͍͔Θ͔Δ
    0SE
   Ϋϥε
   ೚ҙͷͭͷ஋ʹ͍ͭͯॱংΛ͚ͭΒΕΔ
    4IPX
   Ϋϥε
   จࣈྻʹม׵Ͱ͖Δ
3. ܕΫϥε *OU 'MPBU 3BUJPOBM %PVCMF
4. ܕΫϥε *OU 'MPBU 3BUJPOBM %PVCMF /VN 'MPBUJOH 'SBDUJPOBM ͋·Γ͍͍ྫ͡Όͳ͍͚Ͳ
5. ܕΫϥεͷఆٛ class Eq a => Ord a where compare :: a -> a -> Ordering (<=) :: a -> a -> Bool (<) :: a -> a -> Bool ... ʮܕΫϥε͸
   0SE
   ͱ͍͏໊લͰ͢ʯ ʮB
   ͱ͍͏ܕ ม਺ ʹ͍ͭͯҎԼͷ
   ؔ਺Λ࣮૷͍ͯͩ͘͠͞ʯ ʮB
   ͕
   &R
   Ͱ͋Δ͜ͱ
   Λཁٻ͠·͢ʯ ʮ͜ΕΒͷܕΛ࣋ͭؔ਺ ϝιου Λ࣮૷͍ͯͩ͘͠͞ʯ
   NJOJNBM
   DPNQMFUF
   EFpOJUJPO
   ͕͋Δ৔߹͸ͦΕ͚࣮ͩ૷͢Ε͹͍͍
6. Πϯελϯεએݴ instance Ord Bool where True <= False = False _ <= _ = True ʮ#PPM
   ܕΛ
   0SE
   ͷΠϯελϯεʹ͠·͢ʯ ʮ  ͱ͍͏ؔ਺ͷ࣮૷Ͱ͢ʯ
   ʮ0SE
   ͷ
   .JOJNBM
   DPNQMFUF
   EFpOJUJPO
   ͸
   
   DPNQBSF
   ·ͨ͸
   
   ͳͷͰ͜ΕͰऴΘΓͰ͢ʯ
7. ܕΫϥεΛ࢖ͬͨؔ਺ sort :: Ord a => [a] -> [a] sort = ... ʮ0SE
   ͷੑ࣭Λ࢖͏ͷͰɺܕม਺
   B
   ͸
   
   0SE
   ͷΠϯελϯεͰͳ͚Ε͹͍͚·ͤΜɻ
   Ͱ΋
   0SE
   Ͱ͋Ε͹ͲΜͳܕͰ΋େৎ෉ʯ
8. ܕΫϥεͷخ͠͞  ࣗ෼Ͱ࡞ͬͨܕΛͳʹ͔ͷܕΫϥεͷΠϯελϯεʹ͢Δ
   
 ˠ
   ͦͷܕΫϥεʹ͍ͭͯఆٛͯ͋͠Δؔ਺͕λμͰ࢖͑ ΔΑ͏ʹͳΔ
    ྫ
   ࣗ࡞ͷܕΛ
   .POBE
   ͷΠϯελϯεʹ͢Δ
   
   Λ࣮૷͢Δ
   ͱɺ$POUSPM.POBE
   Ϟδϡʔϧʹఆٛ͞ Ε͍ͯΔؔ਺͚ͩͰ΋ݸͷؔ਺͕࢖͑ΔΑ͏ʹͳΔ
    Կ͔ͷܕΫϥεʹ͍ͭͯͷؔ਺Λ࡞Δ
   
 ˠ
   ͦͷܕΫϥεͷΠϯελϯεʹͳ͍ͬͯΔ͢΂ͯͷܕ Ͱͦͷؔ਺͕࢖͑ΔΑ͏ʹͳΔ CBTF
9. 5ZQFDMBTTPQFEJB
   ͱ͸  )BTLFMM
   ͷجຊతͳܕΫϥεͷղઆهࣄ
    )BTLFMM
   Ͱ͸͍Ζ͍ΖͳܕͱܕΫϥεʹ׳ΕΔ ͜ͱ͕ͱͯ΋ॏཁ
    IUUQTXJLJIBTLFMMPSH5ZQFDMBTTPQFEJB ܕΫϥεͷґଘؔ܎
10. ঺հ͞Ε͍ͯΔܕΫϥε  'VODUPS
    "QQMJDBUJWF
    .POBE
    .POBE5SBOT
    .POBE'JY
    4FNJHSPVQ
    .POPJE
    'PMEBCMF
    5SBWFSTBCMF
    $BUFHPSZ
    "SSPX
    $PNPOBE
     Ұ֮ͭ͑Δ͝ͱʹͰ͖Δ͜ͱ͕޿͕Δ
     'VODUPS
    "QQMJDBUJWF
    .POBE
    .POBE5SBOT
    ͘ Β͍·Ͱ΍Δͱ͍ͩͿ͍Ζ͍ΖͰ͖ΔΑ͏ʹͳΔ
     lThere is no royal road to Haskell.z
    ͱ͍͏ϢʔΫ Ϧουͷ༗໊ͳݴ༿͕͋Δ
    ͬͯ
    5ZQFDMBTTPQFEJB
    ʹॻ͍ͯΔ ࣌఺
11. ཧղͷͨΊͷ৺ߏ͑  ˞͜ΕΒ͸ݸਓతͳҙݟͰ͢
     આ໌ΛಡΜͰ͏Μ͏ΜᄬΔΑΓͱΓ͍͋͑ͣΖ͍ΖͳΠϯε λϯεΛ࢖ͬͯΈͯ׳ΕΔͷ͕Ұ൪͍͍ͱࢥ͏
     .POBE
    ͳͲͷΠϝʔδΛߟ͑͸͡ΊΔͱυπϘʹ͸·ΔՄ ೳੑ͕͋ΔͷͰɺܕͱίʔυ͚ͩΈͯߟ͑Δ
     ܕΫϥεͷϝιου͚ͩݟΔΑΓݸʑͷΠϯελϯεͷఆٛ ΛΈͯߟ͑Δ
     'VODUPS
    ΋
    .POBE
    ΋ͨͩͷܕΫϥεɻগ͠ܕ͕ෳࡶͳͩ ͚Ͱ
    &R
    ΍
    0SE
    ͱಉ͡
     ࢖͏͚ͩͳΒ୅਺΍ݍ࿦͸஌Βͳͯ͘΋େৎ෉
12. ༨ஊ  ࣋ͭ΂͖ੑ࣭Λຬͨ͞ͳ͍Α͏ͳΠϯελϯε΋࡞ΕΔ
     ੑ࣭Λຬ͍ͨͯ͠Δ͜ͱΛલఏͱ͢Δؔ਺͕յΕΔ
    ͦ͠ ͯؾ͖ͮʹ͍͘
     ϞφυଇΛຬ͍ͨͯ͠ͳ͍Ϟφυͱ͔؆୯ʹ࡞ΕΔ
     ੑ࣭Λຬ͍ͨͯ͠ͳ͍ͱΠϯελϯεΛ࡞Εͳ͍Α͏ʹͨ͠ ͍
     ˠ
    $PR
    ͱ͔
    *ESJT
    ͱ͔࢖͑͹Ͱ͖·͢
     ϝιουͷܕͷͱ͜Ζʹ໋୊Λॻ͘
     )BTLFMM
    Ͱ΋Ͱ͖Δʁ ࠷ۙͷ
    ()$
    ͷܕϨϕϧࣄ৘Λ͋ ·Γ஌Βͳ͍
13. ·ͱΊ  ܕΫϥεͱ͍͏ػೳʹ͍ͭͯ؆୯ʹઆ໌͠·͠ ͨ
     5ZQFDMBTTPQFEJB
    ͱ͍͏ओཁͳܕΫϥεͷղઆ هࣄΛ঺հ͠·ͨ͠
     ͱΓ͋͑ͣ࢖ͬͯΈͯ׳ΕΔͷ͕͍͍ͱࢥ͍· ͢