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

ࠓ͔Β࢝ΊΔܕ҆શ1ZUIPO খּݪΈ͖ͭ!ZBNJU[LZ TUBQZ

Agenda ಋೖ جຊฤܕͷ֓ཁͱجຊจ๏ 1ZUIPOϓϩάϥϜΛܕ҆શʹ͠Α͏ ܕͰ1ZUIPOΛศརʹ͠Α͏
·ͱΊ

2ීஈɺ1ZUIPOͰܕॻ͖·͔͢ʁ 1. ࠓ೔ͷ໨ඪ ˡʮܕΛ࢝Ί͍ͨʯ ^

1Z$PO+1ͷϕεττʔΫͷ಺༰Λ ʮ࢝ΊΔʯਓ޲͚ʹՃචɾमਖ਼ CJUMZQZUZQF 1. ࠓ೔ͷ಺༰

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

1. JX௨৴ࣾʹ͍ͭͯ ʮࠓى͖͍ͯΔ͜ͱΛ໌Β͔ʹ͢ΔʯใಓతςΫϊϩδʔϕϯνϟʔ 1Z$PO+1 γϧόʔεϙϯαʔ ར༻ٕज़ ٕज़ͱͷؔΘΓ 8&# %#13&44 ʮαʔόʔϨεಛूʯدߘ
ࣄۀ هऀͷ͍ͳ͍௨৴ࣾͱͯ͠ɺUP#ɾUP$ͰχϡʔεࣄۀΛల։

1. JX௨৴ࣾʹ͍ͭͯ "*ϫΫνϯ઀छ༧ଌ "*ۓٸ৘ใαʔϏε ʮ'"45"-&35ʯ

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

1. Python ͷෆຬ

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

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. ܕώϯτͷจ๏ม਺ ˺ ܕνΣοΧʔ͕ਪ࿦͢ΔͷͰɺ ࣮͸ͦΜͳʹ໘౗͘͘͞ͳ͍🙆

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

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

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

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

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

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

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

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

ʮܕʯॻ͘ͷ໘౗ͦ͘͞͏ʜ🤔ͱࢥͬͨํ΁ ˠʮυΩϡϝϯτʯͷྫ͔Βิ଍͠·͢ 2.ʮܕʯͱυΩϡϝϯτ

ʮܕʯͱυΩϡϝϯτ ʮܕώϯτʯʹ҆શˍεϚʔτͳυΩϡϝϯτ

ʮܕʯͱυΩϡϝϯτ ๭03. ࠓ·Ͱͷϝλσʔλࢦఆ͸ɺܕ͔Βߟ͑Δͱෆࣗવ ๭"1*εΩʔϚ ϞσϧͷϓϩύςΟͷظ଴஋͸จࣈྻͰ͋ͬͯɺ$IBS'JFMEɺ4USJOHͷΠϯελϯεͰ͸ͳ͍

ʮܕʯͱυΩϡϝϯτ ҆શɾεϚʔτͳϝλσʔλͷࢦఆ ˞UZQJOH"OOPUBUFE͸1&1 1ZUIPO Ͱಋೖ͞ΕͨɺܕώϯτͱίϯϑϦΫτ͠ͳ͍ϝλσʔλࢦఆ ͷํ๏ɻϥΠϒϥϦͷରԠ͕ඞཁͳͷͰɺ؍ଌൣғͩͱ1ZEBOUJD͙Β͍͔͠ରԠ͍ͯ͠ͳ͔ͬͨ ˞

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

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

ɾQZUIPONZQZ ɾNJDSPTPGUQZSJHIU ɾHPPHMFQZUZQF ɾGBDFCPPLQZSF ܕνΣοΫπʔϧɺ݁ߏ͋Δ 3. ܕνΣοΧʔ ࡞ΒΕ͍ͯΔݴޠɺΤσΟλ࿈ܞɺܕਪ࿦ͷݡ͞ɺεύϧλ౓ʹҧ͍

3. ܕνΣοΧʔͷൺֱ(Ұྫ) NZQZ QZSJHIU ˞ܕώϯτΛશ͘ॻ͔ͳͯ͘΋ɺܕ҆શΛࠓ͔Β࢝ΊΔ͜ͱ͕Ͱ͖Δ ໭Γ஋ͷܕ΋ਪ࿦ SFUVSO࿙ΕΔͱΤϥʔ

ɾܕώϯτΛॻ͍ͯͳ͍ίʔυ͕ଟ͘ଘࡏ ɾQZSJHIUʹΑΔܕνΣοΫΛ։࢝ ʮ'"45"-&35ʯͰ$*ͷܕνΣοΫΛ࢝Ίͨࣄྫ 3. JX௨৴ࣾͷҰྫ ˠ$*ʹ૊ΈࠐΜͰΈͨͱ͜Ζʜ

ˡOPEF؀ڥ͕ඞཁͳͷ͕গ͠σϝϦοτ ˡίϚϯυࣗମ͸؆୯

3. JX௨৴ࣾͷҰྫ

3. JX௨৴ࣾͷҰྫ QZSJHIUDPOpHKTPO ˠܕͷΤϥʔΛ8BSOJOHѻ͍ʹ $*Λ௨͢

3. JX௨৴ࣾͷҰྫ ˠ઴ਐతʹΦϓτΠϯ͍ͯ͘͠

3. ͲΜͳͱ͖ʹܕώϯτॻ͘ʁ ˡDMBTTͷϓϩύςΟ͸ॻ͘ ˡMJTUͷॳظ஋ͳͲ ܕਪ࿦Ͱ͖ͳ͍΋ͷ΋ॻ͘ ˡҾ਺ɾ໭Γ஋΋ॻ͘ ˡม਺͸ਪ࿦͞ΕΔͷͰ ݪଇॻ͔ͳ͍

ϥΠϒϥϦʹʮܕʯ͕ͳ͍ͱΤϥʔʹͳΔ😱 3. ܕνΣοΫ͋Δ͋Δ ༁lCPUPzʹ͸ܕώϯτͳ͍Α ˞ܕώϯτͷͳ͍ϥΠϒϥϦ͸݁ߏଟ͍

ཁ໿ʮ͖͋ΒΊͯແࢹ͢Δͷ΋खͰ͢Αʯ 3. ܕώϯτͷͳ͍ϥΠϒϥϦ CJUMZQZUZQF

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

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

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

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

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

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

ʮܕώϯτॻ͘ͷ໘౗͍͘͞🤔ʯ ʮܕώϯτΛॻ͘ͱศར💡ʯ

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

·ͱΊ 05

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

ܕώϯτ͸ϝλσʔλͷ ҆શɾεϚʔτͳॻ͖ํ . ·ͱΊ

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

NZQZ΍QZSJHIUͰܕνΣοΫ ਪ࿦͞ΕΔʹॻ͔ͳͯ͘΋࢝ΊΒΕΔ ·ͱΊ ddddddddddddd

ܕώϯτɺ ࢝Ίͨ͘ͳΓ·ͨ͠Ͷʁʁʁʁʁ

Thank you! +9௨৴ࣾͰ͸ ɾܕΛॻ͖͍ͨ1ZUIPOJTUB ɾ.-ΛαʔϏε׆༻͍ͨ͠ΤϯδχΞ Λੵۃ࠾༻͍ͯ͠·͢

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

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

More Decks by Mitsuki Ogasahara

Other Decks in Technology

Featured

Transcript