Swift Functional Programming

Transcript

1. Swift Functional Programming Hirofumi Wakasugi (@5T111111)

2. 4XJGU
   ؔ਺ܕϓϩάϥϛϯά let list: List = .cons("pork", .cons("beef", .cons("chicken", .null))) //

   => (pork . (beef . (chicken . ()))) car(list) // => pork cdr(list) // => (beef . (chicken . ())) car(cdr(list)) // => beef cdr(cdr(list)) // => (chicken . ())

3. !
   )JSPGVNJ
   8BLBTVHJ
   !U
   
   4XJGUษڧத
   
   ؔ਺ܕϓϩάϥϛϯάษڧத ࣗݾ঺հ

4. 
   8IZ
   4XJGU
   ͳͥ4XJGUͷ࿩Λ͢Δͷ͔ͷઆ໌
   
   4XJGUͰؔ਺ܕϓϩάϥϛϯάͷ࣮ફ
   *
   ίʔυͷ࣮ྫɺέʔεελσΟ
   **
   ؔ਺ܕϓϩάϥϛϯάͷͨΊͷϥΠϒϥϦͷ঺հ
   ***

   
   4%,
   $PDPB
   ʹΑΔ੍ݶͱͦͷXPSLBSPVOE
   
   ؔ਺ܕϓϩάϥϛϯάελΠϧͰͷ8FCϓϩάϥϛϯά
   *
   7BQPSͱ͍͏8"'Λ࢖ͬͯؔ਺ܕϓϩάϥϛϯάΛద༻ͯ͠ΈΔ ΞδΣϯμ

5. 
   8IZ
   4XJGU
   ͳͥ4XJGUͷ࿩Λ͢Δͷ͔ͷઆ໌
   
   4XJGUͰؔ਺ܕϓϩάϥϛϯάͷ࣮ફ
   *
   ίʔυͷ࣮ྫɺέʔεελσΟ
   **
   ؔ਺ܕϓϩάϥϛϯάͷͨΊͷϥΠϒϥϦͷ঺հ
   ***

   
   4%,
   $PDPB
   ʹΑΔ੍ݶͱͦͷXPSLBSPVOE
   
   ؔ਺ϓϩάϥϛϯάελΠϧͰͷ8FCϓϩάϥϛϯά
   *
   7BQPSͱ͍͏8"'Λ࢖ͬͯؔ਺ܕϓϩάϥϛϯάΛద༻ͯ͠ΈΔ ΞδΣϯμ ࠓ೔࿩͢ͷ͸͜Ε͚ͩʂ

6. 8):
   48*'5

7. w੩తͳܕνΣοΫͱܕ҆શੑΛඋ͑ͨܕγεςϜ͕͋Δ
   wωΠςΟϒίʔυʹίϯύΠϧ͞ΕΔ
   wαʔόʔαΠυͷ8FCϓϩάϥϛϯάͰ࢖͑ΔՄೳੑ͕͋Δ ݸਓతͳझຯ ❤

8. w੩తͳܕνΣοΫͱܕ҆શੑΛඋ͑ͨܕγεςϜ͕͋Δ
   wωΠςΟϒίʔυʹίϯύΠϧ͞ΕΔ
   wαʔόʔαΠυͷ8FCϓϩάϥϛϯάͰ࢖͑ΔՄೳੑ͕͋Δ ݸਓతͳझຯ (PͰ͠ΐ

9. w੩తͳܕνΣοΫͱܕ҆શੑΛඋ͑ͨܕγεςϜ͕͋Δ
   wωΠςΟϒίʔυʹίϯύΠϧ͞ΕΔ
   wαʔόʔαΠυͷ8FCϓϩάϥϛϯάͰ࢖͑ΔՄೳੑ͕͋Δ ݸਓతͳझຯ Swift

10. 8):
    48*'5

11. ؔ਺ܕϓϩάϥϛϯάͱ4XJGU

12. ͦ΋ͦ΋

13. 4XJGUͰ
    ؔ਺ܕϓϩάϥϛϯά
    ͱ͍͏ωλ͕

14. શ͘໨৽͍͠΋ͷͰ͸ͳ͍

15. ͘Β͍͸࿩͞Ε͖ͯͨ ͨͿΜ

16. ͳΜͰ·ͨ͋͑ͯ
    ͦΜͳ࿩Λ͍ͨ͠ͷ͔

17. "QQMF
    88%$
    
    4XJGU
    ൃද

18. ؔ਺͕ϑΝʔετΫϥεʁ

19. pMUFSSFEVDFNBQqBU.BQ

20. 0QUJPOBM

21. ͥΜͿ
    0CKFDUJWF$ʹ͸
    ͳ͔ͬͨͧʁ

22. ؔ਺ܕͷಛ௃Λඋ͑ͨݴޠ͕
    "QQMFެࣜͰ
    ʮJ04NBD04։ൃʯ
    ͱ͍͏ڊେϚʔέοτʹݱΕͨ

23. ྑ͘΋ѱ͘΋
    ؔ਺ܕʹରͯ͠
    ஫໨͕ू·Δ
    ͭͷ͖͔͚ͬʹͳͬͨ

24. ͡Ό͋

25. 4XJGU͸ؔ਺ܕϓϩ άϥϛϯάݴޠͳ ͷ͔ʁ

26. /0

27. 4XJGUͰؔ਺ܕϓϩ άϥϛϯά͸Մೳ ͔ʁ

28. *
    %0/`5
    5)*/,
    40 ؔ਺ܕϓϩάϥϛϯά͸ίʔσΟϯάελΠϧʹա͗ͳ ͍ͱ͍͏ݟํ΋͋Δ͕ɺ
    ؔ਺ܕͬΆ͍ػೳ΍ख๏ΛҰ෦औΓೖΕͯ΋
    ͦΕ͚ͩͰ͸ؔ਺ܕϓϩάϥϛϯάʹ͸ͳΒͳ͍ͱࢥ͏
    FH
    +BWB4DSJQU+BWB3VCZ$ -JOR FUD

29. ͦ͏ࢥͬͯͨ࣌ظ͕Ӡʑ

30. ͋Εʁ
    Α͘ݟͯΈΔͱʜ
    4XJGU͸ࢥͬͨҎ্ʹ
    ؔ਺ܕϓϩάϥϛϯά͕
    ΍Γ΍ͦ͢͏ʹݟ͑·ͧ͢ʁʁ

31. 4XJGUͰ͸ʜ w
    ؔ਺Λ஋ͱͯ͠ѻ͑Δ
    w ؔ਺͸ϑΝʔετΫϥε
    w typealiasͰؔ਺ͷܕఆٛ΋Մೳ
    MJLF
    type
    JO
    )BTLFMM

32. 4XJGUͰ͸ʜ w
    .PEVMBCMFͳσβΠϯ΍એݴతͳهड़Λ΍Γ΍͘͢͢Δ࢓૊Έ͕͋Δ
    w 0QUJPOBM
    "SSBZͳͲ͕'VODUPS.POBEͱ࣮ͯ͠૷͞Ε͍ͯΔ

    
    ϝιουνΣʔϯͰ͖Δ
    w 1SPUPDPM1SPUPDPM
    &YUFOTJPOͰܕΛ֦ு
    MJLF
    UZQF
    DMBTTUZQF
    

    DMBTT
    JOTUBODJBUJPO
    w ԋࢉࢠͷఆ͕ٛՄೳ
    <*>
    <^>)

33. w ෭࡞༻Λൃੜͤ͞ʹ͍͘
    
    ࢀরಁաʹ͠΍͍͢
    w σʔλܕ͕جຊJNNVUBCMFͳ஋ܕ
    w letʹΑΔଋറΛଅਐ͢Δݴޠ࢓༷
    w *NNVUBCMFͳ஋͸ίϯύΠϥʹΑͬͯ࠷దԽ͞ΕΔ

    4XJGUͰ͸ʜ

34. w౰ͨΓલͷΑ͏ʹΫϩʔδϟ͕͋Δ
    
    w౰ͨΓલͷΑ͏ʹύλʔϯϚον͕͋Δ
    w
    ౰ͨΓલͷΑ͏ʹHVBSEจ͕͋Δ
    w
    ౰ͨΓલͷΑ͏ʹ຤ඌ࠶ؼ͕࠷దԽ͞ΕΔ
    w
    ౰ͨΓલͷΑ͏ʹΧϦʔԽʹઐ༻ͷߏจ͕͋Δ
    
    4XJGU
    Ͱফ͑·ͨ͠ʂ 4XJGUͰ͸ʜ

35. ެࣜͳݟղ w
    "QQMFࣗ਎͸4XJGU͕ؔ਺ܕͩͱ͸શ͘ݴͬͯͳ͍

36. ެࣜͳݟղ w
    "QQMFࣗ਎͸4XJGU͕ؔ਺ܕͩͱ͸શ͘ݴͬͯͳ͍ ͕ɺ101701ͳϓϩάϥϛϯάΛڧ͘ਪ঑
    (WWDC 2015 - Building Better Apps with

    Value Types in Swift) (WWDC 2016 - Protocol and Value Oriented Programming in UIKit Apps) 001͔ΒͷύϥμΠϜγϑτ͸Ψν
    

37. ެࣜͳݟղ “Objective-C without the C” implies something subtractive, but Swift

    dramatically expands the design space through the introduction of generics and functional programming concepts. - Chris Lattner

38. 'VDOUJPOBM
    4XJGU
    $PNNVOJUZ w'VODUJPOBM
    4XJGU
    $POGFSFODF
    
 IUUQGVOTXJGUDPOGDPN
    wUZQFMJGU4XJGU[
    wUIPVHIUCPU3VOFT

39. ઐ໳Ͱॻ੶΋ग़͍ͯΔ

40. ͜Ε͸΋͏
    ؔ਺ܕϓϩάϥϛϯά͕Ͱ͖Δͱ
    ݴ͍͍ͬͯΜ͡Όͳ͍Ͱ͔͢Ͷʜ

41. ͋Εʁ

42. ͳΜͰ·ͨ͋͑ͯࠓߋ
    ʮ4XJGUͰؔ਺ܕΆΑΆΑʙʯ
    Έ͍ͨͳ࿩Λ͍ͨ͠ͷ͔ શવ͜ͷཧ༝ʹͳͬͯͳ͘ͳ͍ʁ

43. 8):
    48*'5

44. 4XJGU
    1SPHSBNNJOH
    -BOHVBHF
    &WPMVUJPO
    IUUQTHJUIVCDPNBQQMFTXJGUFWPMVUJPO
    4XJGU
    JT
    FWPMWJOH
    UPP
    GBTU

45. &OVNͰ࠶ؼతͳσʔλߏ଄Λ࡞Εͳ͍

46. 4XJGU
    Ͱ࣮૷ࡁ enum List<T> { case null indirect case cons(T, List<T>)

    } ˢ๯಄ͷϦετͷ࣮૷Ͱ΋࠶ؼ&OVNΛ࢖͍ͬͯΔ

47. UZQFBMJBTʹHFOFSJDT͕࢖͑ͳ͍

48. UZQFBMJBTʹHFOFSJDT͕࢖͑ͳ͍ 4XJGU
    Ͱ࢖͑ΔΑ͏ʹͳͬͨ

49. ଞʹ΋ʜ wFYQFSJNFOUBMͰ͸͋Δ͕ؔ਺߹੒ԋࢉࢠ͕ຊମʹ࣮૷
 IUUQTHJUIVCDPNBQQMFTXJGUCMPCECDDCEGEEFTUEMJC JOUFSOBM4XJGU&YQFSJNFOUBM4XJGU&YQFSJNFOUBMTXJGU-
    w(FOFSJDT.BOJGFTUPͷதͰߴ֊ܕͷ࣮૷ܭը͋Γ
 IUUQTHJUIVCDPNBQQMFTXJGUCMPCECDDCEGEEFEPDT (FOFSJDT.BOJGFTUPNEIJHIFSLJOEFEUZQFT 
 protocol Functor

    { associatedtype A func fmap<FB where FB ~= Self>(f: A -> FB.A) -> FB }

50. ׂͱΨϯΨϯมΘͬͯΔ
    wωοτͷ࣍৘ใ͸ݹ͘ͳ͍ͬͯΔ΋ͷ΋ଟ͍
    wؔ਺ܕϓϩάϥϛϯάͷจ຺Ͱͷมߋ΋ؚ·ΕΔ 4XJGU
    JT
    FWPMWJOH
    UPP
    GBTU ʮ4XJGUͰؔ਺ܕϓϩάϥϛϯάແཧʯ
    ͬͯࢥͬͨਓ΋࠷৽৘ใʹ৮ΕΔͱ໘ന͍͔΋ʁ