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

B4bd460c2e559d6c151c0541f2d3f719?s=47 Shohei Yasutake
December 16, 2015
Programming
0
210

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

B4bd460c2e559d6c151c0541f2d3f719?s=128

Shohei Yasutake

December 16, 2015
Tweet

Want more?

B4bd460c2e559d6c151c0541f2d3f719?s=48 amutake
0
73
B4bd460c2e559d6c151c0541f2d3f719?s=48 amutake
0
530
B4bd460c2e559d6c151c0541f2d3f719?s=48 amutake
0
110
3ab1249be442027903e1180025340b3f?s=48 reverentgeek
4
250
A9a491b0fcbe0fbce3d64063a37add99?s=48 rmw
1
140
766b9746b59e6f09e280cd33cf4ed419?s=48 skipperchong
0
110
61857dafbd287b3027c4dcea9008ad3c?s=48 carmenhchung
5
200
06f8b41980eb4c577fa40c41d5030c19?s=48 keathley
5
180
C0390e8b11079f8761c0cd3274ed61cb?s=48 productmarketing
2
240
C35e01544a0dd94a2cf1619ee8a42ebb?s=48 clairelew
3
470
6bb82b13cda86d3b821fa44100335ddf?s=48 thoeni
1
130
B3ace07412a5178ea778e7eec161fc0a?s=48 jcasabona
4
210

Transcript

  1. 1.

    )BTLFMMͷܕΫϥεͱ 5ZQFDMBTTPQFEJBͷ঺հ 8-5 !BNVUBLF@T

  2. 2.

    ܕΫϥε  ܕʹڞ௨͢Δੑ࣭Λൈ͖ग़ͨ͠΋ͷ  ΦϒδΣΫτࢦ޲ͷΫϥεͱ͸ҧ͏ͷͰ஫ҙ  ܕΫϥε͸͍Ζ͍ΖͳݴޠͰ࢖͑Δ  ͜ͷεϥΠυͰ͸)BTLFMMΛ࢖͏ 

    ྫ  &RΫϥε೚ҙͷͭͷ஋ʹ͍ͭͯ౳͍͔͠౳͘͠ͳ ͍͔Θ͔Δ  0SEΫϥε೚ҙͷͭͷ஋ʹ͍ͭͯॱংΛ͚ͭΒΕΔ  4IPXΫϥεจࣈྻʹม׵Ͱ͖Δ
  3. 3.

    ܕΫϥε *OU 'MPBU 3BUJPOBM %PVCMF

  4. 4.

    ܕΫϥε *OU 'MPBU 3BUJPOBM %PVCMF /VN 'MPBUJOH 'SBDUJPOBM ͋·Γ͍͍ྫ͡Όͳ͍͚Ͳ

  5. 5.

    ܕΫϥεͷఆٛ class Eq a => Ord a where compare ::

    a -> a -> Ordering (<=) :: a -> a -> Bool (<) :: a -> a -> Bool ... ʮܕΫϥε͸0SEͱ͍͏໊લͰ͢ʯ ʮBͱ͍͏ܕ ม਺ ʹ͍ͭͯҎԼͷ ؔ਺Λ࣮૷͍ͯͩ͘͠͞ʯ ʮB͕&RͰ͋Δ͜ͱ Λཁٻ͠·͢ʯ ʮ͜ΕΒͷܕΛ࣋ͭؔ਺ ϝιου Λ࣮૷͍ͯͩ͘͠͞ʯ NJOJNBMDPNQMFUFEFpOJUJPO͕͋Δ৔߹͸ͦΕ͚࣮ͩ૷͢Ε͹͍͍
  6. 6.

    Πϯελϯεએݴ instance Ord Bool where True <= False = False

    _ <= _ = True ʮ#PPMܕΛ0SEͷΠϯελϯεʹ͠·͢ʯ ʮ  ͱ͍͏ؔ਺ͷ࣮૷Ͱ͢ʯ ʮ0SEͷ.JOJNBMDPNQMFUFEFpOJUJPO͸ DPNQBSF·ͨ͸  ͳͷͰ͜ΕͰऴΘΓͰ͢ʯ
  7. 7.

    ܕΫϥεΛ࢖ͬͨؔ਺ sort :: Ord a => [a] -> [a] sort

    = ... ʮ0SEͷੑ࣭Λ࢖͏ͷͰɺܕม਺B͸ 0SEͷΠϯελϯεͰͳ͚Ε͹͍͚·ͤΜɻ Ͱ΋0SEͰ͋Ε͹ͲΜͳܕͰ΋େৎ෉ʯ
  8. 8.

    ܕΫϥεͷخ͠͞  ࣗ෼Ͱ࡞ͬͨܕΛͳʹ͔ͷܕΫϥεͷΠϯελϯεʹ͢Δ
 ˠͦͷܕΫϥεʹ͍ͭͯఆٛͯ͋͠Δؔ਺͕λμͰ࢖͑ ΔΑ͏ʹͳΔ  ྫࣗ࡞ͷܕΛ.POBEͷΠϯελϯεʹ͢Δ   Λ࣮૷͢Δ

    ͱɺ$POUSPM.POBEϞδϡʔϧʹఆٛ͞ Ε͍ͯΔؔ਺͚ͩͰ΋ݸͷؔ਺͕࢖͑ΔΑ͏ʹͳΔ  Կ͔ͷܕΫϥεʹ͍ͭͯͷؔ਺Λ࡞Δ
 ˠͦͷܕΫϥεͷΠϯελϯεʹͳ͍ͬͯΔ͢΂ͯͷܕ Ͱͦͷؔ਺͕࢖͑ΔΑ͏ʹͳΔ CBTF
  9. 9.

    5ZQFDMBTTPQFEJBͱ͸  )BTLFMMͷجຊతͳܕΫϥεͷղઆهࣄ  )BTLFMMͰ͸͍Ζ͍ΖͳܕͱܕΫϥεʹ׳ΕΔ ͜ͱ͕ͱͯ΋ॏཁ  IUUQTXJLJIBTLFMMPSH5ZQFDMBTTPQFEJB ܕΫϥεͷґଘؔ܎

  10. 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. 11.

    ཧղͷͨΊͷ৺ߏ͑  ˞͜ΕΒ͸ݸਓతͳҙݟͰ͢  આ໌ΛಡΜͰ͏Μ͏ΜᄬΔΑΓͱΓ͍͋͑ͣΖ͍ΖͳΠϯε λϯεΛ࢖ͬͯΈͯ׳ΕΔͷ͕Ұ൪͍͍ͱࢥ͏  .POBEͳͲͷΠϝʔδΛߟ͑͸͡ΊΔͱυπϘʹ͸·ΔՄ ೳੑ͕͋ΔͷͰɺܕͱίʔυ͚ͩΈͯߟ͑Δ 

    ܕΫϥεͷϝιου͚ͩݟΔΑΓݸʑͷΠϯελϯεͷఆٛ ΛΈͯߟ͑Δ  'VODUPS΋.POBE΋ͨͩͷܕΫϥεɻগ͠ܕ͕ෳࡶͳͩ ͚Ͱ&R΍0SEͱಉ͡  ࢖͏͚ͩͳΒ୅਺΍ݍ࿦͸஌Βͳͯ͘΋େৎ෉
  12. 12.

    ༨ஊ  ࣋ͭ΂͖ੑ࣭Λຬͨ͞ͳ͍Α͏ͳΠϯελϯε΋࡞ΕΔ  ੑ࣭Λຬ͍ͨͯ͠Δ͜ͱΛલఏͱ͢Δؔ਺͕յΕΔ ͦ͠ ͯؾ͖ͮʹ͍͘   ϞφυଇΛຬ͍ͨͯ͠ͳ͍Ϟφυͱ͔؆୯ʹ࡞ΕΔ

     ੑ࣭Λຬ͍ͨͯ͠ͳ͍ͱΠϯελϯεΛ࡞Εͳ͍Α͏ʹͨ͠ ͍  ˠ$PRͱ͔*ESJTͱ͔࢖͑͹Ͱ͖·͢  ϝιουͷܕͷͱ͜Ζʹ໋୊Λॻ͘  )BTLFMMͰ΋Ͱ͖Δʁ ࠷ۙͷ()$ͷܕϨϕϧࣄ৘Λ͋ ·Γ஌Βͳ͍
  13. 13.

    ·ͱΊ  ܕΫϥεͱ͍͏ػೳʹ͍ͭͯ؆୯ʹઆ໌͠·͠ ͨ  5ZQFDMBTTPQFEJBͱ͍͏ओཁͳܕΫϥεͷղઆ هࣄΛ঺հ͠·ͨ͠  ͱΓ͋͑ͣ࢖ͬͯΈͯ׳ΕΔͷ͕͍͍ͱࢥ͍· ͢