今から始める型安全 Python / Start Python Type Hints

#stapy

https://speakerdeck.com/yamitzky/mastering-type-safety-in-python-3-dot-9-era の内容を加筆して削ったものです

Transcript

1. ࠓ͔Β࢝ΊΔܕ҆શ
   1ZUIPO খּݪΈ͖ͭ
   
   !ZBNJU[LZ
   TUBQZ
2. Agenda  ಋೖ
    جຊฤ
   ܕͷ֓ཁͱجຊจ๏
    1ZUIPOϓϩάϥϜΛܕ҆શʹ͠Α͏
    ܕͰ
   1ZUIPO
   Λศརʹ͠Α͏
    ·ͱΊ
3. 2
   ීஈɺ1ZUIPO
   Ͱܕॻ͖·͔͢ʁ 1. ࠓ೔ͷ໨ඪ ˡʮܕΛ࢝Ί͍ͨʯ ^
4. 1Z$PO
   +1
   
   ͷϕεττʔΫͷ಺༰Λ
   ʮ࢝ΊΔʯਓ޲͚ʹՃචɾमਖ਼ CJUMZQZUZQF 1. ࠓ೔ͷ಺༰
5. 1. ͓લɺ୭Αʁ w খּݪ
   ޫو
   
   !ZBNJU[LZ
   w +9௨৴ࣾ
   औక໾$%0
   w ޷͖ͳٕज़
   5ZQF4DSJQUɺ1ZUIPO ೥ʙ
   αʔόʔϨεɺ(SBQI2-
   FUDʜ
   ˞
   54ϩΰ
   $$#:
   
   .JDSPTPGU
6. 1. JX௨৴ࣾʹ͍ͭͯ ʮࠓى͖͍ͯΔ͜ͱΛ໌Β͔ʹ͢ΔʯใಓతςΫϊϩδʔϕϯνϟʔ 1Z$PO
   +1
   
   γϧόʔεϙϯαʔ ར༻ٕज़ ٕज़ͱͷؔΘΓ 8&# %#
   13&44
   ʮαʔόʔϨεಛूʯدߘ ࣄۀ هऀͷ͍ͳ͍௨৴ࣾͱͯ͠ɺUP#ɾUP$ͰχϡʔεࣄۀΛల։
7. 1. JX௨৴ࣾʹ͍ͭͯ "*ϫΫνϯ઀छ༧ଌ "*ۓٸ৘ใαʔϏε
   ʮ'"45"-&35ʯ
8. Python ͷνʔϜ։ൃ΍ େن໛ͳ Python ϓϩδΣΫτ ෆຬ͕͋Γ·ͤΜ͔ʁ 1. Python ͷෆຬ
9. 1. Python ͷෆຬ
10. ˞ฐࣾ๭ϓϩδΣΫτʹ΋͋Γ·ͨ͠🤦 1. Python ͷෆຬ
11. 1. Python ͷෆຬ
12. ಈతܕ෇͖ݴޠͷෆຬ
    ʮܕʯͰղܾͰ͖·͢💡 1. Python ͷෆຬ
13. 1ZUIPO
    ͷܕͷ֓ཁͱجຊจ๏ جຊฤ 02
14. ɾਖ਼໊ࣜশ͸ʮ5ZQF
    )JOU ܕώϯτ ʯ
    ɾ1&1
    
    Ͱ
    1ZUIPO ʙ
    ͔Βೖͬͨ࢓༷
    ɾ໨త
    ੩తղੳɺϦϑΝΫλϦϯάɺίʔυੜ੒ͳͲ
    ɾ1ZUIPO
    ͕੩తܕ෇͖ݴޠʹͳͬͨΘ͚Ͱ͸ͳ͘ɺ
    ɹ೚ҙɾޙ෇͚ͷܕγεςϜ 1ZUIPO
    ͷܕͬͯͳΜͩΖ͏ 2. ʮܕʯͷ֓ཁ ˞
    ͜ͷεϥΠυͰʮܕʯͱݴٴ͢Δࡍ͸ʮܕώϯτʯͷ͜ͱΛݴ͍·͢
15. 2. ʮܕʯͷ֓ཁ ੩తղੳ ϦϑΝΫλϦϯά
16. 1ZUIPO
    ͸ʮ੩తܕ෇͖ݴޠʯͰ͸ͳ͍ 2. ʮܕʯͷ֓ཁ 2
    ͜ͷίʔυ͸࣮ߦ࣌ΤϥʔʹͳΔʁ
    🤔 2
    ܕͷ৘ใ͸
    TUSʁ
    JOUʁ
    🤔
17. 1ZUIPO
    ͸ʮ੩తܕ෇͖ݴޠʯͰ͸ͳ͍ 2. ʮܕʯͷ֓ཁ "
    ࣮ߦ࣌ʹ͸Τϥʔ͸ൃੜ͠ͳ͍
    🙆 αʔυύʔςΟʔͷπʔϧΛ૊Έ߹Θͤͯ׆༻
    👍 "
    UZQF ͷ໭Γ஋ͱͯ͠͸ܕώϯτ͸ແؔ܎
18. ΤσΟλ
    ิ׬ͳͲ 1ZUIPO
    ͷʮܕʯΛ
    औΓר͘αʔυύʔςΟʔ 2. ʮܕʯͷ֓ཁ mypy pyright pytype VSCode PyCharm Vim pydantic FastAPI ੩తղੳ ࣮ߦ࣌ͷόϦσʔγϣϯͳͲ ࢀߟ
    IUUQTHJUIVCDPNUZQFEEKBOHPBXFTPNFQZUIPOUZQJOH
19. ɾਖ਼໊ࣜʮ5ZQF
    )JOUʯΛ঺հ
    ɾ1ZUIPO
    ͸ಈతܕ෇͖ݴޠͰ͋Γɺܕώ ϯτ͸ڧ੍͞Εͳ͍
    ɾ1ZUIPO
    ࣗମ͸ܕνΣοΫΛߦΘͳ͍ɻ SE
    QBSUZ
    πʔϧΛ૊Έ߹ΘͤΔ ͜͜·Ͱͷ·ͱΊ 2. ʮܕʯͷ֓ཁ
20. ม਺ 2. ܕώϯτͷจ๏
    ม਺
21. ܕਪ࿦ 2. ܕώϯτͷจ๏
    ม਺ ˺ ܕνΣοΧʔ͕ਪ࿦͢ΔͷͰɺ
    ࣮͸ͦΜͳʹ໘౗͘͘͞ͳ͍
    🙆
22. ؔ਺ 2. ܕώϯτͷจ๏
    ؔ਺
23. Ҿ਺͚ͩॻ͍ͯ΋0,
    🙆 2. ܕώϯτͷจ๏
    ؔ਺ ໭Γ஋͚ͩॻ͍ͯ΋0,
    🙆
24. DMBTT 2. ܕώϯτͷจ๏
    DMBTT ˡ
    ϓϩύςΟͷఆٛ ˡ
    ϝιουఆٛ
    ˡ
    ม਺ͷܕͱͯ͠ར༻
25. ϓϩύςΟͷܕ͕Θ͔Βͳ͍ͱ͖ 2. ܕώϯτͷจ๏
    "OZ ˡ
    ϓϩύςΟͷఆٛ ˡ
    ϝιουఆٛ
    
26. ҉໧తͳ
    "OZ 2. ܕώϯτͷจ๏
    "OZ ˡ
    ϓϩύςΟͷఆٛ ˡ
    ϝιουఆٛ
    ˺
27. MJTU
    EJDU
    TFU 2. ܕώϯτͷจ๏
    σʔλߏ଄
28. /POF
    ͕ೖΔ͔΋͠Εͳ͍ม਺ l͵ΔΆz๷ࢭ ˡ
    /POF
    ͡Όͳ͍͜ͱΛ͔֬ΊΔͱ
    ҆શʹ࢖͑Δ ˡ
    /POFͷՄೳੑͷࢦఠ 2. ܕώϯτͷจ๏
    0QUJPOBM
29. ɾม਺ɺؔ਺
    ɾDMBTT
    ɾMJTUɺEJDUɺTFU
    ɾ0QUJPOBM
    ɾ"OZ ͜͜·Ͱͷ·ͱΊ 2. ܕώϯτجຊฤ·ͱΊ
30. ʮܕʯॻ͘ͷ໘౗ͦ͘͞͏ʜ🤔ͱࢥͬͨํ΁
    
    ˠ
    ʮυΩϡϝϯτʯͷྫ͔Βิ଍͠·͢ 2.ʮܕʯͱυΩϡϝϯτ
31. ʮܕʯͱυΩϡϝϯτ ʮܕώϯτʯʹ҆શˍεϚʔτͳυΩϡϝϯτ
32. ʮܕʯͱυΩϡϝϯτ ๭03. ࠓ·Ͱͷϝλσʔλࢦఆ͸ɺܕ͔Βߟ͑Δͱෆࣗવ ๭"1*εΩʔϚ ϞσϧͷϓϩύςΟͷظ଴஋͸จࣈྻͰ͋ͬͯɺ$IBS'JFMEɺ4USJOH
    ͷΠϯελϯεͰ͸ͳ͍
33. ʮܕʯͱυΩϡϝϯτ ҆શɾεϚʔτͳϝλσʔλͷࢦఆ ˞
    UZQJOH"OOPUBUFE
    ͸
    1&1
    
    1ZUIPO
     Ͱಋೖ͞ΕͨɺܕώϯτͱίϯϑϦΫτ͠ͳ͍ϝλσʔλࢦఆ ͷํ๏ɻϥΠϒϥϦͷରԠ͕ඞཁͳͷͰɺ؍ଌൣғͩͱ
    1ZEBOUJD
    ͙Β͍͔͠ରԠ͍ͯ͠ͳ͔ͬͨ ˞
    
34. PythonϓϩάϥϜΛܕ҆શʹͯ͠ΈΑ͏ Ԡ༻ฤ 03
35. ɾ1ZUIPO
    ͸੩తܕ෇͖ݴޠͰ͸ͳ͍
    ɾ1ZUIPO
    ࣗମ͸ܕνΣοΫΛ͠ͳ͍
    ˠ
    πʔϧͰܕνΣοΫ
    🚨
    1ZUIPO
    ͷܕώϯτͷݪଇ 3. ܕνΣοΫ
36. ɾQZUIPONZQZ
    ɾNJDSPTPGUQZSJHIU
    ɾHPPHMFQZUZQF
    ɾGBDFCPPLQZSF ܕνΣοΫπʔϧɺ݁ߏ͋Δ 3. ܕνΣοΧʔ ࡞ΒΕ͍ͯΔݴޠɺΤσΟλ࿈ܞɺܕਪ࿦ͷݡ͞ɺεύϧλ౓ʹҧ͍
37. 3. ܕνΣοΧʔͷൺֱ(Ұྫ) NZQZ QZSJHIU ˞
    ܕώϯτΛશ͘ॻ͔ͳͯ͘΋ɺܕ҆શΛࠓ͔Β࢝ΊΔ͜ͱ͕Ͱ͖Δ ໭Γ஋ͷܕ΋ਪ࿦ SFUVSO
    ࿙ΕΔͱΤϥʔ
38. ɾܕώϯτΛॻ͍ͯͳ͍ίʔυ͕ଟ͘ଘࡏ
    ɾQZSJHIU
    ʹΑΔܕνΣοΫΛ։࢝ ʮ'"45"-&35ʯͰ
    $*
    ͷܕνΣοΫΛ࢝Ίͨࣄྫ 3. JX௨৴ࣾͷҰྫ ˠ
    $*
    ʹ૊ΈࠐΜͰΈͨͱ͜Ζʜ
    
39. ˡ
    OPEF
    ؀ڥ͕ඞཁͳͷ͕গ͠σϝϦοτ ˡίϚϯυࣗମ͸؆୯
40. 3. JX௨৴ࣾͷҰྫ
41. 3. JX௨৴ࣾͷҰྫ QZSJHIUDPOpHKTPO ˠ
    ܕͷΤϥʔΛ
    8BSOJOH
    ѻ͍ʹ
    $*Λ௨͢
42. 3. JX௨৴ࣾͷҰྫ ˠ
    ઴ਐతʹΦϓτΠϯ͍ͯ͘͠
43. 3. ͲΜͳͱ͖ʹܕώϯτॻ͘ʁ ˡDMBTT
    ͷϓϩύςΟ͸ॻ͘ ˡ
    MJTU
    ͷॳظ஋ͳͲ
    
    
    
    
    ܕਪ࿦Ͱ͖ͳ͍΋ͷ΋ॻ͘ ˡ
    Ҿ਺ɾ໭Γ஋΋ॻ͘ ˡ
    ม਺͸ਪ࿦͞ΕΔͷͰ
    
    
    
    
    
    ݪଇॻ͔ͳ͍
44. ϥΠϒϥϦʹʮܕʯ͕ͳ͍ͱΤϥʔʹͳΔ😱 3. ܕνΣοΫ͋Δ͋Δ ༁
    lCPUPz
    ʹ͸ܕώϯτͳ͍Α ˞
    ܕώϯτͷͳ͍ϥΠϒϥϦ͸݁ߏଟ͍
45. ཁ໿ʮ͖͋ΒΊͯແࢹ͢Δͷ΋खͰ͢Αʯ 3. ܕώϯτͷͳ͍ϥΠϒϥϦ CJUMZQZUZQF
46. ϥϯλΠϜΛ΋ͬͱศརʹ͢Δ Ԡ༻ฤ 04
47. ࠓ·Ͱɿ੩తͳܕνΣοΫͷ࿩ 4. ܕώϯτͱϥϯλΠϜ ࣮ߦ࣌ ϥϯλΠϜ ʹ
    ܕͷ৘ใ͸औಘͰ͖Δ
48. ྫ
    EBUBDMBTT . ඪ४ϥΠϒϥϦͷ׆༻ྫ !EBUBDMBTT
    σίϨʔλʔΛ͔ͭ͏ͱ
    ࣮ߦ࣌ʹ
    @@JOJU@@
    ΛࣗಈͰఆٛͯ͘͠ΕΔ
49. ˺
    EBUBDMBTT
    ʴόϦσʔγϣϯʴγϦΞϥΠζ ྫ
    QZEBOUJD . ϥϯλΠϜόϦσʔγϣϯ
50. ྫ
    'BTU"1* . API ͷόϦσʔγϣϯ ܕώϯτ෇͖ͷؔ਺Λఆ͍͚ٛͯͩ͘͠Ͱɺ
    όϦσʔγϣϯ͖ͭͷ
    "1*
    ͕Ͱ͖Δ
51. ܕώϯτ͔Β
    4XBHHFS
    0QFO"1*
    ΋ࣗಈੜ੒ . FastAPI ˞
    ଞݴޠͰ΋࢖ΘΕΔ
    "1*
    ࢓༷ɻ"1*
    ͷܕ͕ఆٛͰ͖Δ
52. ʮܕώϯτॻ͘ͷ໘౗͍͘͞🤔ʯ ʮܕώϯτΛॻ͘ͱศར💡ʯ
53. ɾσίϨʔλʔɺϝλΫϥεͱ૊Έ߹ΘͤΔͱ%3:ʹ
    ɾܕͷಈతνΣοΫɺ"1*
    ͷόϦσʔγϣϯɺ4XBHHFS ఆٛͳͲ΋Ͱ͖Δ ϥϯλΠϜͰͷܕώϯτΛ঺հ . ·ͱΊ
54. ·ͱΊ 05
55. ܕώϯτΛॻ͘ͱ
    /POF
    ΍
    ܕͷϛεΛνΣοΫͰ͖Δ  ·ͱΊ
56. ܕώϯτ͸ϝλσʔλͷ
    ҆શɾεϚʔτͳॻ͖ํ . ·ͱΊ
57. ʮܕʯΛॻ͚ͩ͘ͰϥϯλΠϜ͕ศརʹ . ·ͱΊ
58. NZQZ
    ΍
    QZSJHIU
    ͰܕνΣοΫ
    ਪ࿦͞ΕΔʹॻ͔ͳͯ͘΋࢝ΊΒΕΔ  ·ͱΊ ddddddddddddd
59. ܕώϯτɺ
    ࢝Ίͨ͘ͳΓ·ͨ͠Ͷʁʁʁʁʁ
60. Thank you! +9௨৴ࣾͰ͸
    ɾܕΛॻ͖͍ͨ
    1ZUIPOJTUB
    ɾ.-ΛαʔϏε׆༻͍ͨ͠ΤϯδχΞ
    Λੵۃ࠾༻͍ͯ͠·͢