Python 3.9 時代の型安全な Pythonの極め方 / Mastering Type Safety in Python 3.9 Era

1ZUIPO࣌୅ͷ ܕ҆શͳ1ZUIPOͷۃΊํ খּݪΈ͖ͭ!ZBNJU[LZ

1ZUIPO࣌୅ͷ ܕ҆શͳ1ZUIPOͷۃΊํ খּݪΈ͖ͭ!ZBNJU[LZ 3.10

Agenda ಋೖ جຊฤܕώϯτͷ֓ཁͱجຊจ๏ Ԡ༻ฤ ܕνΣοΫ
ߴ౓ͳܕͰϞσϦϯά ϥϯλΠϜͷܕώϯτ ·ͱΊ

2ීஈɺ1ZUIPOͰܕॻ͖·͔͢ʁ 1. ࠓ೔ͷ໨ඪ ˡʮܕॻ͖͍ͨʯ ˡʮ͜Ε΋࢖ͬͯΈΑ͏ʯ ^ ˡʮ஌ΒΜ͔ͬͨʯ

ɾ3.8 ࣌୅ʹग़൪͕ͳ͍΋ͷ ɾܧঝͷෳࡶͳ࿩ NSPͱ͔ ɾจ๏*͚ͩ* ࿩͞ͳ͍͜ͱ 1. ࠓ೔ͷ໨ඪ

1. ͓લɺ୭Αʁ w খּݪޫو!ZBNJU[LZ w +9௨৴ࣾऔక໾$%0 w ޷͖ͳٕज़ 5ZQF4DSJQUɺ1ZUIPO ೥ʙ
αʔόʔϨεɺ(SBQI2-FUDʜ ˞54ϩΰ$$#:.JDSPTPGU

1. JX௨৴ࣾʹ͍ͭͯ w ʮࠓى͖͍ͯΔ͜ͱΛ໌Β͔ʹ͢Δʯ ใಓςΫϊϩδʔϕϯνϟʔ w 1Z$PO+14JMWFS4QPOTPS w ΋ͪΖΜʮܕʯॻ͍ͯ·͢

Python ͷνʔϜ։ൃ΍ େن໛ͳ Python ϓϩδΣΫτ ෆຬ͕͋Γ·ͤΜ͔ʁ 1. Python ͷෆຬ

1. Python ͷෆຬ

˞ฐࣾ๭ϓϩδΣΫτʹ΋͋Γ·ͨ͠ 1. Python ͷෆຬ

1. Python ͷෆຬ ΤσΟλͷิ׬

"1*௨৴Ͱฦͬͯ͘Δ಺༰͕Α͘Θ͔Βͳ͍ 1. Python ͷෆຬ

ಈతܕ෇͖ݴޠͷෆຬ ʮܕʯͰղܾͰ͖·͢ 1. Python ͷෆຬ

1ZUIPOͷܕͷ֓ཁͱجຊจ๏ جຊฤ 02

ɾਖ਼໊ࣜশ͸ʮ5ZQF)JOU ܕώϯτ ʯ ɾ1&1Ͱ1ZUIPO ʙ ͔Βೖͬͨจ๏ ɾ໨త੩తղੳɺϦϑΝΫλϦϯάɺίʔυੜ੒ͳͲ ɾ1ZUIPO͕੩తܕ෇͖ݴޠʹͳͬͨΘ͚Ͱ͸ͳ͘ɺ ɹ೚ҙɾޙ෇͚ͷܕγεςϜ 1ZUIPOͷܕͬͯͳΜͩΖ͏
2. ʮܕʯͷ֓ཁ ˞͜ͷεϥΠυͰʮܕʯͱݴٴ͢Δࡍ͸ʮܕώϯτʯͷ͜ͱΛݴ͍·͢

2. ʮܕʯͷ֓ཁ ੩తղੳ ϦϑΝΫλϦϯά

1ZUIPO͸ʮ੩తܕ෇͖ݴޠʯͰ͸ͳ͍ 2. ʮܕʯͷ֓ཁ 2͜ͷίʔυ͸࣮ߦ࣌ΤϥʔʹͳΔʁ 2ܕͷ৘ใ͸TUSʁJOUʁ

1ZUIPO͸ʮ੩తܕ෇͖ݴޠʯͰ͸ͳ͍ 2. ʮܕʯͷ֓ཁ "࣮ߦ࣌ʹ͸Τϥʔ͸ൃੜ͠ͳ͍ αʔυύʔςΟʔͷπʔϧΛ૊Έ߹Θͤͯ׆༻ "UZQF ͷ໭Γ஋ͱͯ͠͸ܕώϯτ͸ແؔ܎

ΤσΟλ ิ׬ͳͲ 1ZUIPOͷʮܕʯΛ औΓר͘αʔυύʔςΟʔ 2. ʮܕʯͷ֓ཁ mypy pyright pytype VSCode
PyCharm Vim pydantic FastAPI ੩తղੳ ࣮ߦ࣌ͷόϦσʔγϣϯͳͲ ࢀߟIUUQTHJUIVCDPNUZQFEEKBOHPBXFTPNFQZUIPOUZQJOH

ɾਖ਼໊ࣜʮ5ZQF)JOUʯΛ঺հ ɾ1ZUIPO͸ಈతܕ෇͖ݴޠͰ͋Γɺܕώ ϯτ͸ڧ੍͞Εͳ͍ ɾ1ZUIPOࣗମ͸ܕνΣοΫΛߦΘͳ͍ɻ SEQBSUZπʔϧΛ૊Έ߹ΘͤΔ ͜͜·Ͱͷ·ͱΊ 2. ʮܕʯͷ֓ཁ

ม਺ 2. ܕώϯτͷจ๏ม਺

ؔ਺ 2. ܕώϯτͷจ๏ؔ਺

Ҿ਺͚ͩॻ͍ͯ΋0, 2. ܕώϯτͷจ๏ؔ਺ ໭Γ஋͚ͩॻ͍ͯ΋0,

࣍ͷίʔυΛܕνΣοΫπʔϧͰղੳ͢Δͱʜʁ &YFSDJTF 2. ܕώϯτͷจ๏ ΋ͪΖΜ0,

࣍ͷίʔυΛܕνΣοΫπʔϧͰղੳ͢Δͱʜʁ &YFSDJTF 2. ܕώϯτͷจ๏ ΋ͪΖΜ/(

2. ܕώϯτͷจ๏ ʮܕʯͷΤϥʔ͸ ੺೾ઢͰදݱ͠·͢ ddddd

DMBTT 2. ܕώϯτͷจ๏DMBTT ˡϓϩύςΟͷఆٛ ˡϝιουఆٛ ˡม਺ͷܕͱͯ͠ར༻

ܧঝͷѻ͍ 2. ܕώϯτͷจ๏DMBTT ˣ೿ੜΫϥε͸جఈΫϥεʹ୅ೖͰ͖Δ ˣܧঝͯ͠ͳ͍ͱ΋ͪΖΜμϝ

ϓϩύςΟͷܕ͕Θ͔Βͳ͍ͱ͖ 2. ܕώϯτͷจ๏"OZ ˡϓϩύςΟͷఆٛ ˡϝιουఆٛ

҉໧తͳ"OZ 2. ܕώϯτͷจ๏"OZ ˡϓϩύςΟͷఆٛ ˡϝιουఆٛ ˺

MJTU EJDU TFU 2. ܕώϯτͷจ๏σʔλߏ଄

2. ܕώϯτͷจ๏·Ͱͷσʔλߏ଄ ʙ1ZUIPO ˞ݱࡏ3$൛Ͱਖ਼ࣜϦϦʔε͸༧ఆ 1ZUIPOʙ

-JTU<5>ͳͲͷ<>ͷ෦෼Λ൚༻తʹ͢Δ (FOFSJDT ˞ࠓ೔͸঺հ͠·ͤΜ 2. ࣗ෼Ͱσʔλߏ଄Λ࡞Γ͍ͨͱ͖

/POF͕ೖΔ͔΋͠Εͳ͍ม਺ l͵ΔΆz๷ࢭ ˡ/POF͡Όͳ͍͜ͱΛ͔֬ΊΔͱ ҆શʹ࢖͑Δ ˡ/POFͷՄೳੑͷࢦఠ 2. ܕώϯτͷจ๏0QUJPOBM

0QUJPOBM<6TFS>ʹ/POF·ͨ͸6TFS 2. ܕώϯτͷจ๏6OJPO ʹ ਺ࣈʹJOU·ͨ͸qPBU

2. ܕώϯτͷจ๏6OJPO 1ZUIPO ʙ1ZUIPO ˞དྷ೥ ϦϦʔε༧ఆ

ɾม਺ɺؔ਺ ɾDMBTTɺܧঝ ɾMJTUɺEJDUɺTFU ɾ0QUJPOBM ɾ6OJPO ɾ"OZ ͜͜·Ͱͷ·ͱΊ 2. ܕώϯτجຊฤ·ͱΊ

ͳͥʮܕʯΛۃΊΔͷ͔ʁ Ԡ༻ฤ 03

ɾҙਤ͠ͳ͍࣮ߦ࣌ΤϥʔΛࣄલʹ๷͛Δ ɾ͞Βʹܕ҆શʹͨ͠Γɺਖ਼͘͠ϞσϦϯάͰ͖Δ ɾϓϩάϥϜΛ%3:ʹͰ͖Δ ʮܕʯΛۃΊΔͱԿ͕Ͱ͖Δͷ͔ʁ 3. ܕώϯτԠ༻ฤ

PythonϓϩάϥϜΛܕ҆શʹͯ͠ΈΑ͏ Ԡ༻ฤ 03

ɾ1ZUIPO͸੩తܕ෇͖ݴޠͰ͸ͳ͍ ɾ1ZUIPOࣗମ͸ܕνΣοΫΛ͠ͳ͍ ˠπʔϧʮNZQZʯͰܕνΣοΫ 1ZUIPOͷܕώϯτͷݪଇ 3-1. ܕνΣοΫ

ɾ1ZUIPOͷ੩తͳܕνΣοΫΛ͢Δπʔϧ ɾ(JU)VCͷQZUIPONZQZʹ͋Γɺ ɹ(VJEP΋ίΞνʔϜϝϯόʔ ɾ$-*ͱͯ͠΋࢖͑Δ͠ɺ74$PEF΍ 1Z$IBSNͱ΋࿈ܞ NZQZ 3-1. mypy

3-1. mypy

NZQZͷ࢖͍ํ 3-1. mypy QJQJOTUBMMNZQZͯ͠ NZQZ<σΟϨΫτϦ·ͨ͸ϑΝΠϧ໊QZ>

(JU-BC$*ͷྫ 3-1. mypy ΞοϓσʔτͰಥવݡ͘ͳͬͯ ಥવ$*͕௨Βͳ͘ͳΔͷͰ όʔδϣϯݻఆΛڧ͘ਪ঑

ϥΠϒϥϦʹܕ͕ͳ͍ͱΤϥʔʹͳΔ 3-1. mypy ͷͭΒ͍ͱ͜Ζ ༁lCPUPzʹ͸ܕώϯτͳ͍Α ˞ܕώϯτͷͳ͍ϥΠϒϥϦ͸݁ߏଟ͍

ɾελϒΛੜ੒͢Δॻ͘ ɾελϒύοέʔδΛΠϯετʔϧ͢Δ࡞Δ Ͳ͏͢Δʁ 3-1. ܕώϯτͷͳ͍ϥΠϒϥϦ

ɾϓϩάϥϜϥΠϒϥϦʹ֎෇͚ͷܕఆٛ ɾ QZJͱ͍͏໊લͰɺܕͷఆ͚ٛͩهࡌ ɾୈࡾऀ͕࡞ͬͯύοέʔδԽͰ͖Δ TUVCͱ͸ 3-1. ελϒΛॻ͘ ˞5ZQF4DSJQUͷʮEUTʯʮ!UZQFT ʯ

TUVCͷྫ 3-1. ελϒΛॻ͘ IPHFQZ IPHFQZJ ܕͷͳ͍ϓϩάϥϜ ରԠ͢Δελϒ

ɾNZQZͱҰॹʹ͍ͭͯ͘Δࣗಈੜ੒πʔϧ ɾTUVCHFO<σΟϨΫτϦPSϑΝΠϧ໊> TUVCHFO 3-1. ελϒͷࣗಈੜ੒

ɾTUVCHFON<Ϟδϡʔϧ>Ͱ֎෦ϥΠϒϥϦ΋ ɾ׬શͰ͸ͳ͍ͷͰɺखಈमਖ਼͓͢͢Ί TUVCHFO 3-1. ελϒΛॻ͘(ࣗಈੜ੒) ུ ˞࣮ࡍɺߦ໨Λ࡟আ͠ͳ͍ͱNZQZ͸ಈ͔ͳ͍

ɾ࡞ͬͨελϒ͸QZQJύοέʔδʹͰ͖Δ ɾ044ͱͯ͠ୈࡾऀʹΑͬͯެ։͞Ε͍ͯΔ ɾྫ CPUPTUVCTɺEKBOHPTUVCTɺFUDʜ QJQJOTUBMM TUVCT 3-1. ελϒύοέʔδͷΠϯετʔϧ ˞ৄࡉ͸1&1

ɾελϒΛੜ੒͢Δॻ͘ ɾελϒύοέʔδΛΠϯετʔϧ͢Δ࡞Δ ɾఘΊΔ Ͳ͏͢Δʁ 3-1. ܕώϯτͷͳ͍ϥΠϒϥϦ

ɾJHOPSFNJTTJOHJNQPSUTΛࢦఆ͢Δ ɾJNQPSUʹUZQFJHOPSFͷίϝϯτΛ͚ͭΔ ɾ࣮ࡍʹ͸ؔ਺ͳͲͰϥοϓͯ͠"OZͷൣғΛ ɹ޿͛ͳ͍ͷ͕େࣄ ͱ͖ʹ͸ɺ͖͋ΒΊ͕؊৺ 3-1. ϥΠϒϥϦͷܕΛఘΊΔ

ɾNJDSPTPGUQZSJHIU ɾHPPHMFQZUZQF ɾGBDFCPPLQZSF NZQZҎ֎ʹ΋݁ߏ͋Δ 3-1. mypy Ҏ֎ͷܕνΣοΧʔ

3-1. ܕνΣοΧʔͷൺֱ(Ұྫ) NZQZ QZSJHIUQZUZQF QZSF ˞ઃఆͰݫ͘͠ʗ؇͘Ͱ͖Δ ໭Γ஋ͷํ΋ਪ࿦ SFUVSO࿙ΕΔͱΤϥʔ ϓϩύςΟͷॳظԽνΣοΫ

˞Ҿ਺ɺ໭Γ஋ɺΫϥεϓϩύςΟͷܕ͸ॻ͘ͷ͕͓͢͢Ί ܕ͸ਪ࿦͞ΕΔͷͰ ܕώϯτΛॻ͔ͳͯ͘΋ Ұ෦ ܕ҆શʹ 3-1. ܕਪ࿦ ddddddddddddd

΋ͬͱܕ҆શͰɺ΋ͬͱྑ͍ϞσϦϯάΛ͠Α͏ Ԡ༻ฤ 03

TypedDict Protocol NewType Literal ܕώϯτͷެࣜػೳͷ঺հ 3-2. Advanced Type Hinting

Ϣʔεέʔεᶃ ʮ"1*ͷϨεϙϯεΛܕఆ͍ٛͨ͠ʯ 3-2. ܕ҆શͳ dict

%JDUͷ··Ҿ͖ճ͢ͱى͜Δ͜ͱ 3-2. ܕ҆શͳ dict ˠ,FZ&SSPSΛܕνΣοΫ͍ͨ͠

5ZQFE%JDU 3-2. ܕ҆શͳ dict ˞ͰΞΫηε͸Ͱ͖ͳ͍ʹDMBTTʹ٧Ίସ͑ͨ΄͏͕ྑ͍৔߹΋

Ϣʔεέʔεᶄ ந৅ʹґଘ͢Δઃܭʹ͍ͨ͠ 3-2. ந৅ʹґଘͨ͠ઃܭ ˡద੾ͳܕ͸ʁ

Α͘ͳ͍ྫ 3-2. ந৅ʹґଘͨ͠ઃܭ ந৅ʹґଘͨ͠ྫ

ྫʮந৅ΫϥεʯΛ͔ͭ͏ ந৅తͳʮ#JSEʯΛఆٛͯ͠ΈΑ͏ 3-2. ந৅ʹґଘͨ͠ઃܭ

ܕ҆શʹ͸ͳ͕ͬͨʜ 3-2. ந৅Ϋϥεͷ໰୊఺ ܧঝʹϥϯλΠϜͷڍಈมԽ͕ඞཁ ಈతܕ෇͖ݴޠͷॊೈੑ͕ࣦΘΕɺ1ZUIPOJDͰͳ͍ ந৅Ϋϥε൛ ݩͷόʔδϣϯ

໊લత෦෼ܕ ʮDMBTTΛܧঝ͍ͯ͠Δ͔ʯ ந৅Ϋϥε 3-2. Protocol ʹΑΔந৅Խ ߏ଄త෦෼ܕ ʮඞཁͳϝιουΛ͍࣋ͬͯΔ͔ʯ 1SPUPDPM

3-2. Protocol ʹΑΔந৅Խ ܕ҆શ͔ͭ%VDLͷڍಈ͕มΘΒͳ͍ 1SPUPDPM

Ϣʔεέʔεᶅ -JTU΍4FUͳͲʮJOʯͰ͖Δ΋ͷΛ ड͚औΓ͍ͨ 3-2. Protocol ͦͷ̎

ެࣜͰ1SPUPDPM͕ఆٛ͞Ε͍ͯΔ 3-2. ఆٛࡁΈͷ Protocol ˞$POUBJOFSʹ@@DPOUBJOT@@͕͋ΔϞϊ

ͦͷଞͷެࣜ1SPUPDPM 3-2. ఆٛࡁΈͷ Protocol IUUQTEPDTQZUIPOPSHKBMJCSBSZDPMMFDUJPOTBCDIUNM ˞ඞͣ͠΋1SPUPDPMΛܧঝ͍ͯ͠ͳ͍

$BMMBCMF 3-2. ఆٛࡁΈͷ Protocol *UFSBCMF ؔ਺ͬΆ͍΋ͷ @@DBMM@@ GPSJOͰ͖Δ΋ͷ @@JUFS@@ 4FRVFODF
ഁյతมߋͰ͖ͳ͍MJTU ʢࢀߟ 1SPUPDPMΛ׆༻ͨ͠*NNVUBCMFͳσʔλߏ଄ʹ͍ͭͯ IUUQTZBNJU[LZIBUFOBCMPHDPNFOUSZ

Ϣʔεέʔεᶆ JOU΍TUSʹʮҙຯʯΛ͍࣋ͨͤͨ 3-2. ಛघͳϓϦϛςΟϒܕ

/FX5ZQF 3-2. ಛघͳϓϦϛςΟϒܕ ΩϦ͕ͳ͍ͷͰɺ*%ͳͲฆΒΘ͍͠Ұ෦ͷܕ͚ͩਪ঑

-JUFSBM 3-2. Ϧςϥϧܕ

ɾ5ZQFE%JDU ɾ1SPUPDPM ɾ*UFSBCMFͳͲͷެࣜ1SPUPDPM ɾ/FX5ZQFɺ-JUFSBM ঺հͨ͠΋ͷ 3-2. ΋ͬͱܕ҆શͳϞσϦϯά

ϥϯλΠϜΛ΋ͬͱศརʹ͢Δ Ԡ༻ฤ 03

ࠓ·Ͱɿ੩తͳܕνΣοΫͷ࿩ 3-3. ܕώϯτͱϥϯλΠϜ ࣮ߦ࣌ ϥϯλΠϜ ʹ ܕͷ৘ใ͸औಘͰ͖Δ

3-3. ࣮ߦ࣌ͷܕͷ৘ใऔಘ ͜ΜͳϓϩάϥϜΛॻ͍࣮ͯߦͯ͠ΈΔ {'name': <class 'str'>, 'age': <class 'int'>} ࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ʹ֨ೲ͞Εͨܕͷ৘ใΛ׆༻Ͱ͖Δʂ
˞HFU@UZQF@IJOUT ࢖ͬͨ΄͏͕ྑ͍Ͱ͢

ྫ EJDU΁ͷม׵ 3-3. __annotations__ ͷ׆༻ྫ

ྫ EBUBDMBTT 3-3. ඪ४ϥΠϒϥϦͷ׆༻ྫ !EBUBDMBTTσίϨʔλʔΛ͔ͭ͏ͱ ࣮ߦ࣌ʹ@@JOJU@@ΛࣗಈͰఆٛͯ͘͠ΕΔ

˺EBUBDMBTTʴόϦσʔγϣϯʴγϦΞϥΠζ ྫ QZEBOUJD 3-3. ϥϯλΠϜόϦσʔγϣϯ

ྫ 'BTU"1* 3-3. API ͷόϦσʔγϣϯ ܕώϯτ෇͖ͷؔ਺Λఆ͍͚ٛͯͩ͘͠Ͱɺ όϦσʔγϣϯ͖ͭͷ"1*͕Ͱ͖Δ

ܕώϯτ͔Β4XBHHFS 0QFO"1* ΋ࣗಈੜ੒ 3-3. FastAPI ˞ଞݴޠͰ΋࢖ΘΕΔ"1*࢓༷ɻ"1*ͷܕ͕ఆٛͰ͖Δ

ɾ@@BOOPUBUJPOT@@ʹܕͷ৘ใؚ͕·ΕΔ ɾσίϨʔλʔɺϝλΫϥεͱ૊Έ߹ΘͤΔͱ%3:ʹ ɾܕͷಈతνΣοΫɺ"1*ͷόϦσʔγϣϯɺ4XBHHFS ఆٛͳͲ΋Ͱ͖Δ ϥϯλΠϜͰͷܕώϯτΛ঺հ 3-3. ·ͱΊ

·ͱΊ 04

ܕώϯτΛॻ͘ͱ/POF΍ ܕͷϛεΛνΣοΫͰ͖Δ 4. ·ͱΊ

NZQZ΍QZSJHIUͰܕνΣοΫ Ұ෦͸ਪ࿦͞ΕΔʹॻ͍ͯͳ͍ͷʹܕ҆શ 4. ·ͱΊ ddddddddddddd

1SPUPDPM΍5ZQFE%JDUͰ ʮܧঝʯʹറΒΕͳ͍ܕ҆શ 4. ·ͱΊ

ʮܕʯΛॻ͚ͩ͘ͰϥϯλΠϜ͕ศརʹ 4. ·ͱΊ

࣌୅ɺ ͳͥಈతܕ෇͖ݴޠͷ1ZUIPOͰ ʮܕʯΛۃΊΔͷ͔ʁ 4. ·ͱΊ

1ZUIPOͷܕώϯτΛۃΊΔͱ ಈతܕ෇͖ݴޠͷྑ͞Λଛͳ͏͜ͱͳ͘ ҆શͰ1ZUIPOJDͳϓϩάϥϜΛ ੜ࢈ੑߴ͘ॻ͚Δ͔Β 4. ·ͱΊ ˞ҰҙݟͰ͢ɻօ༷ͷҙݟΛฉ͔͍ͤͯͩ͘͞

Thank you!

Python 3.9 時代の型安全な Pythonの極め方 / Mastering Type Safety in Python 3.9 Era

Python 3.9 時代の型安全な Pythonの極め方 / Mastering Type Safety in Python 3.9 Era

More Decks by Mitsuki Ogasahara

Featured

Transcript