余所では 聞かないPythonと関数型の話

「プログラミングと抽象化」という話題を軸に，Pythonと関数型プログラミングについて考えてみました。
主にオブジェクト指向，関数型プログラミング(FP)を「抽象化のレベルの違い」という視点で比較対照しています。
FPについて知見が少ないことについては十分自負しております。間違っている部分があると思いますが，なにとぞご容赦ください。

Transcript

1. ࣲా
   ३ ༨ॴͰ͸
   ฉ͔ͳ͍
   1ZUIPOͱ
   ؔ਺ܕͷ࿩
2. ϓϩάϥϛϯά
   ͱ
   ந৅Խ
3. ந৅తੈք ݱ࣮ੈք σʔλߏ଄ ΞϧΰϦζϜ σʔλߏ଄ ೖྗ ग़ྗ ॲཧ ந৅Խ
4. ʮঢ়ଶʯΛ࢖ͬͨந৅Խ
    ݱ࣮ੈք apple = 3 ந৅తੈք ม਺
5. ݱ࣮ੈք hp = 100 mp = 10 exp = 20 level = 1 ந৅తੈք hp = 40 mp = 50 exp = 100 level = 2 σʔλߏ଄ ʮঢ়ଶʯΛ࢖ͬͨந৅Խ
   
6. ݱ࣮ੈք hp = 10 mp = 0 ந৅తੈք hp = 5 mp = 0 hp = hp - 5 ܭࢉ ঢ়ଶͷมԽ ʮঢ়ଶʯΛ࢖ͬͨந৅Խ
   
7. ܭࢉ ม਺ ܭࢉ σʔλߏ଄ ม਺ σʔλߏ଄ hp = 5 mp = 10 exp = 20 level = 1 hp = 40 mp = 50 exp = 100 level = 2 hp = 40 mp = 40 exp = 100 level = 2 hp = 25 mp = 10 exp = 20 level = 1 ந৅Խͱͯ͠ͷʮ෭࡞༻ʯ ຐ๏࢖͍͕ຐ๏Λ࢖ͬͯ༐ऀͷମྗΛճ෮͢Δ
8. ΦϒδΣΫτࢦ޲
   WT
   ؔ਺ܕ
9. Կ͕ҧ͏ͷ͔ ΦϒδΣΫτࢦ޲ ؔ਺ܕ ந৅౓͕௿͍ ந৅౓͕ߴ͍
10. ந৅౓ʹΑΔ
    ෼ྨ ΤϯυϢʔβ
    ΞϓϦέʔγϣϯ &YDFMɼ#*πʔϧ 4DSBUDI ΦϒδΣΫτࢦ޲
    ݴޠ ؔ਺ܕݴޠ $ɼΞηϯϒϥ ϚΠΫϩίʔυ ७ਮ਺ֶతੈք
11. 5IF
    NBHF
    VTFT
    B
    NBHJD
    UP
    IFBM
    )1
    PG
    UIF
    IFSP ΦϒδΣΫτࢦ޲ mage.use_heal(hero) def use_heal(self, target): self.mp -= 10 target.hp += 10 ࣗવݴޠʹ͍ۙ ෭࡞༻Λੵۃར༻
12. ؔ਺ܕ ७ਮͳ΍ͭ ݽߴͷந৅ੈք ෭࡞༻ΛೝΊͳ͍ දࣔ %#ૢ࡞ ೖग़ྗ ঢ়ଶมԽ ੍໿ͷϝϦοτ ந৅Խ Τϥʔͷͳ͍ੈք ࠷దԽ େ͖ͳ੍໿
13. զʑͷઓ͍ ࣗવݴޠ σʔλߏ଄ f ΞϧΰϦζϜ ந৅ԽͷΠςϨʔγϣϯ Մಡੑ ੍໿͕গͳ͍ ։ൃޮ཰ ந৅Խ ந৅Խ ந৅Խ
14. 1ZUIPO
    ඪ४ͷ
    ؔ਺ܕػೳ
15. ந৅ԽϚχΞͷ࣌୅ Ҏલ ߴ֊ؔ਺ map() filter() reduce() ແ໊ؔ਺ lambda x : x*x ந৅Խͦ͜ࢸߴʜʜ
    ϝϦοτ͸
    ύϑΥʔϚϯε޲্ʜʜ
16. # Given the list L, make a list of all strings # containing the substring S. sublist = filter(lambda s, substring=S: string.find(s, substring) != -1, L) ඒ͍͠Θʜʜ
17. ؔ਺ܕʮతʯػೳͷಋೖ ΠςϨʔλ ಺แදهɼδΣωϨʔλࣜ GVODUPPMTͦ͜ࢸߴʜʜ ϧʔϓɼ൓෮ॲཧͷந৅Խ Մಡੑ޲্ σίϨʔλ ߴ֊ؔ਺ͷՄಡੑ޲্
18. # Given the list L, make a list of all strings # containing the substring S. sublist = filter(lambda s, substring=S: string.find(s, substring) != -1, L) sublist = [ s for s in L if string.find(s, S) != -1 ] ͓લ͸͢Ͱʹؔ਺ܕ ࢲ͕ؔ਺ܕʹ
    ͓͍͔ͯͨ͠Βʜʜ
19. զʑͷઓ͍͸ଓ͘ ؔ਺ܕͷಋೖ ࣗવݴޠ σʔλߏ଄ f ΞϧΰϦζϜ ந৅ԽͷΠςϨʔγϣϯ Մಡੑ ੍໿͕গͳ͍ ந৅Խ ந৅Խ ந৅Խ
20. 1ZUIPOͷ
    Φϓγϣφϧͳ
    ؔ਺ܕػೳ
21. ந৅Խ͸ʮ໨తʯΛ൐͏ hp = 100 mp = 10 exp = 20 level = 1 100 10 20 1 pine = 2 apple = 3 fruit = pine+apple x = 3 y = 2 z = x+y ϓϩάϥϛϯάతந৅Խ ਺ֶతந৅Խ ՄಡੑΛ൐ͬͨ֓೦ ७ਮͳ਺ͷ֓೦
22. ७ਮؔ਺ܕͷ໨త ܗࣜతূ໌Մೳੑ ϓϩάϥϜ͕ਖ਼͍͜͠ͱͷ ਺ֶతূ໌ ೖྗ
    ू߹ ؔ਺
    ࣸ૾ ग़ྗ
    ू߹ ෭࡞༻͕ڐ͞Εͳ͍
23. Ϟφυ ෭࡞༻ͱ͸ ෮श ը໘දࣔ %#ૢ࡞ ঢ়ଶมԽ ೖग़ྗ ͜ΜͳΜͰϓϩάϥϜ
    ࡞ΕΔ͔ʂ ۚ༥ɼηΩϡϦςΟ෼ ໺ʹ༗རͩʹΌ
24. Ξϊςʔγϣϯ type Vector = list[float] def scale(scalar: float, vector: Vector) -> Vector: return [scalar * num for num in vector] େ఍ͷΞϊςʔγϣϯ͸ ͨͩͷόϦσʔγϣϯΑ ؔ਺ܕతจԽ ܗࣜతূ໌Մೳੑ △ ×
25. 1ZUIPOͷ
    จԽ ؔ਺ܕͷ
    จԽ ؔ਺ܕͱͷ্खͳ෇͖߹͍ํ
26. GVODUPPMT ෦෼ద༻ from functools import partial basetwo = partial(int, base=2) basetwo.__doc__ = 'Convert base 2 string to an int.' basetwo(‘10010') # int(‘10010’, base=2) IUUQTEPDTQZUIPOPSHKBMJCSBSZGVODUPPMTIUNM ΧϦʔԽͱ΋
    ݴ͏Θʜʜ
27. GVODUPPMT  σίϨʔλͱߴ֊ؔ਺ @cache def factorial(n): return n * factorial(n-1) if n else 1 def factorial(n): return n * factorial(n-1) if n else 1 cachedfactorial = cache(factorial)
28. ͳͥؔ਺ܕ͕େࣄͳͷ͔ ந৅Խ 5IF
    ;FO
    PG
    1ZUIPO 4JNQMF
    JT
    CFUUFS
    UIBO
    DPNQMFY 3FBEBCJMJUZ
    DPVOUT 5IFSF
    TIPVME
    CF
    POF
    BOE
    QSFGFSBCMZ
    POMZ
    POF
    PCWJPVT
    XBZ
    UP
    EP
    JU 1ZUIPOJD
29. 1ZUIPOͷ
    จԽ ؔ਺ܕͷ
    จԽ ੒௕໨ඪͱͯ͠ͷؔ਺ܕ ΤϯδχΞͱͯ͠ͷ੒௕
30. ந৅౓ʹΑΔ
    ෼ྨ ΤϯυϢʔβ
    ΞϓϦέʔγϣϯ &YDFMɼ#*πʔϧ 4DSBUDI ΦϒδΣΫτࢦ޲
    ݴޠ ؔ਺ܕݴޠ $ɼΞηϯϒϥ ϚΠΫϩίʔυ ७ਮ਺ֶతੈք
31. ےͷྑ͍1ZUIPOͷ࢝Ίํ
32. ͋Γ͕ͱ͏͍͟͝·ͨ͠