Python の型ヒントで JSON の型チェックをする / Validation for JSON with Type hints in Python

Python ͷܕώϯτͰ  JSON ͷܕνΣοΫΛ͢Δ mitsuse_t LINE Developer Meetup 47

͓·͑ɺ୭Αʁ 1

͓·͑ɺ୭Αʁ 1 ɾը૾ͱ͔ࣗવݴޠͱ͔ɺ1ZUIPOͱ͔ɺ ͋Δ͍͸J04ͱ͔4XJGUͱ͔ͦͷลΓ Λ͝ʹΐ͝ʹΐ ࠷ۙ΍͍ͬͯΔ͜ͱ

͓·͑ɺ୭Αʁ 1 ɾը૾ͱ͔ࣗવݴޠͱ͔ɺ1ZUIPOͱ͔ɺ ͋Δ͍͸J04ͱ͔4XJGUͱ͔ͦͷลΓ Λ͝ʹΐ͝ʹΐ ɾೣͱ฻Β͍ͯ͠·͢ ɾΧϨʔͱ΢ΠεΩʔ͕޷͖ ɾΠΧͱλίͷήʔϜΛΑ͘΍͍ͬͯ ·͢ ࠷ۙ΍͍ͬͯΔ͜ͱ
ଐੑͬΆ͍΍ͭ

1ZUIPOͷܕώϯτΛ ࣮ߦ࣌ʹࢀরͯ͠༡Ϳ࿩Λ͠·͢

1ZUIPOͷܕώϯτΛ ࣮ߦ࣌ʹࢀরͯ͠༡Ϳ࿩Λ͠·͢ 2

1ZUIPOͷܕώϯτΛ ࣮ߦ࣌ʹࢀরͯ͠༡Ϳ࿩Λ͠·͢ 2 ɾΞϊςʔγϣϯͷγϯλοΫεಋೖ͔Βܕώϯτ·Ͱͷ࿩

1ZUIPOͷܕώϯτΛ ࣮ߦ࣌ʹࢀরͯ͠༡Ϳ࿩Λ͠·͢ 2 ɾΞϊςʔγϣϯͷγϯλοΫεಋೖ͔Βܕώϯτ·Ͱͷ࿩ ɾ੩తܕݕࠪπʔϧͰ͋ΔNZQZͷ࿩

1ZUIPOͷܕώϯτΛ ࣮ߦ࣌ʹࢀরͯ͠༡Ϳ࿩Λ͠·͢ 2 ɾΞϊςʔγϣϯͷγϯλοΫεಋೖ͔Βܕώϯτ·Ͱͷ࿩ ɾ੩తܕݕࠪπʔϧͰ͋ΔNZQZͷ࿩ ɾܕώϯτΛ࣮ߦ࣌ʹࢀরͯ͠+40/ͷܕΛνΣοΫ͢Δ࿩

ؔ࿈͢Δ1&1΍NZQZͷ࿩

1&1'VODUJPO"OOPUBUJPOT 3

1&1'VODUJPO"OOPUBUJPOT 3 ɾؔ਺ ͷҾ਺΍໭Γ஋ ʹର͠ɺ೚ҙͷϝλσʔλΛΞϊςʔτ͢Δ ͨΊͷγϯλοΫεΛಋೖ

1&1'VODUJPO"OOPUBUJPOT 3 ɾؔ਺ ͷҾ਺΍໭Γ஋ ʹର͠ɺ೚ҙͷϝλσʔλΛΞϊςʔτ͢Δ ͨΊͷγϯλοΫεΛಋೖ ɾ͜Ε·Ͱ༷ʑͳํ๏ͰΞϊςʔγϣϯ͕ࢪ͞Ε͍͕ͯͨɺͦΕΛ౷Ұ ͢ΔͨΊͷ1&1

1&1'VODUJPO"OOPUBUJPOT 3 ɾؔ਺ ͷҾ਺΍໭Γ஋ ʹର͠ɺ೚ҙͷϝλσʔλΛΞϊςʔτ͢Δ ͨΊͷγϯλοΫεΛಋೖ ɾΞϊςʔγϣϯʹ͸೚ҙͷ͕ࣜ࢖͑Δ ༻్ݶఆͤͣɾ༷ʑͳ༻్ ɾ͜Ε·Ͱ༷ʑͳํ๏ͰΞϊςʔγϣϯ͕ࢪ͞Ε͍͕ͯͨɺͦΕΛ౷Ұ ͢ΔͨΊͷ1&1

1&1'VODUJPO"OOPUBUJPOT 3 ɾؔ਺ ͷҾ਺΍໭Γ஋ ʹର͠ɺ೚ҙͷϝλσʔλΛΞϊςʔτ͢Δ ͨΊͷγϯλοΫεΛಋೖ ɾΞϊςʔγϣϯʹ͸೚ҙͷ͕ࣜ࢖͑Δ ༻్ݶఆͤͣɾ༷ʑͳ༻్ ɾ࣮ߦ࣌ʹ@@BOOPUBUJPOT@@͔ΒΞϊςʔγϣϯ͕औಘͰ͖Δ ɾ͜Ε·Ͱ༷ʑͳํ๏ͰΞϊςʔγϣϯ͕ࢪ͞Ε͍͕ͯͨɺͦΕΛ౷Ұ
͢ΔͨΊͷ1&1

1&1'VODUJPO"OOPUBUJPOT 4

1&1'VODUJPO"OOPUBUJPOT ೚ҙͷࣜͰྑ͍ͷͰจࣈྻͰ΋Մ 4

1&1'VODUJPO"OOPUBUJPOT ೚ҙͷࣜͰྑ͍ͷͰจࣈྻͰ΋Մ @@BOOPUBUJPOT@@ͰΞϊςʔγϣϯΛࢀরͰ͖Δ 4

1&15ZQF)JOUT 5

1&15ZQF)JOUT ɾ1&1Ͱಋೖ͞ΕͨΞϊςʔγϣϯΛɺܕ৘ใͷ෇༩ͷͨΊʹ ࢖༻͢Δ 5

1&15ZQF)JOUT ɾ1&1Ͱಋೖ͞ΕͨΞϊςʔγϣϯΛɺܕ৘ใͷ෇༩ͷͨΊʹ ࢖༻͢Δ ɾܕΛ෇༩͢ΔͨΊͷඪ४ϞδϡʔϧUZQJOHͷఏڙɺ֤छఆٛͷඪ ४Խ 5

1&15ZQF)JOUT ɾ1&1Ͱಋೖ͞ΕͨΞϊςʔγϣϯΛɺܕ৘ใͷ෇༩ͷͨΊʹ ࢖༻͢Δ ɾܕΛ෇༩͢ΔͨΊͷඪ४ϞδϡʔϧUZQJOHͷఏڙɺ֤छఆٛͷඪ ४Խ ɾ੩తܕݕࠪπʔϧͰ͋ΔNZQZ͔Βڧ͘ӨڹΛड͚͍ͯΔ 5

1&15ZQF)JOUT 6

1&15ZQF)JOUT UZQJOHʹ0QUJPOBM΍4FRVFODFͳͲΞϊςʔγϣϯ༻ͷܕ͕͋Δ 6

1&15ZQF)JOUT UZQJOHʹ0QUJPOBM΍4FRVFODFͳͲΞϊςʔγϣϯ༻ͷܕ͕͋Δ ܕͰΞϊςʔγϣϯ͢Δ 6

1&15ZQF)JOUT UZQJOHʹ0QUJPOBM΍4FRVFODFͳͲΞϊςʔγϣϯ༻ͷܕ͕͋Δ ܕͰΞϊςʔγϣϯ͢Δ @@BOOPUBUJPOT@@ͰΞϊςʔγϣϯΛࢀরͰ͖Δ 6

ܕώϯτΛॻ͚͹ܕνΣοΫ͞ΕΔʁ

ॻ͍͚ͨͩͰ͸ɺνΣοΫ͞Εͳ͍ʂ

1&15ZQF)JOUT 7

1&15ZQF)JOUT JOUͷ஋Λ౉͍ͯ͠Δ 7

1&15ZQF)JOUT JOUͷ஋Λ౉͍ͯ͠Δ Τϥʔͳ࣮͘ߦ͞ΕΔ 7

1&15ZQF)JOUT JOUͷ஋Λ౉͍ͯ͠Δ Τϥʔͳ࣮͘ߦ͞ΕΔ ͋͘·Ͱ΋Ξϊςʔγϣϯ͢ΔͨΊͷಓ۩ͱͦͷղऍ͕Ͳ͏͋Δ΂͖ ͔ɺΛఏڙ͢Δ ࣮ࡍʹѻ͏ͷ͸֎෦ͷπʔϧ 7

NZQZ 8

NZQZ 8 ɾ1ZUIPOͷ੩తܕݕࠪπʔϧ

NZQZ ɾ1&1ʹઌߦͯ͠ఏڙ͞Ε͍ͯͨπʔϧ͕ͩɺ1&1४ڌ ɾ1ZUIPOͷ੩తܕݕࠪπʔϧ 8

NZQZܕώϯτͱ૊Έ߹Θͤͯ࢖͏ ɾ1&1ʹઌߦͯ͠ఏڙ͞Ε͍ͯͨπʔϧ͕ͩɺ1&1४ڌ ɾνΣοΫ͢Δ͚ͩ ݪଇ࣮ߦ࣌ʹ͸ӨڹΛ༩͑ͳ͍ɺτϥϯεύΠϧ ͢ΔΘ͚Ͱ͸ͳ͍ ɾ1ZUIPOͷ੩తܕݕࠪπʔϧ 8

NZQZܕώϯτͱ૊Έ߹Θͤͯ࢖͏ 8

NZQZܕώϯτͱ૊Έ߹Θͤͯ࢖͏ JOUͷ஋Λ౉͍ͯ͠Δ 8

NZQZܕώϯτͱ૊Έ߹Θͤͯ࢖͏ JOUͷ஋Λ౉͍ͯ͠Δ *OUͱ0QUJPOBM<TUS>͸ޓ׵ੑ͕ͳ͍ 8

NZQZܕώϯτͱ૊Έ߹Θͤͯ࢖͏ JOUͷ஋Λ౉͍ͯ͠Δ *OUͱ0QUJPOBM<TUS>͸ޓ׵ੑ͕ͳ͍ ܕ͕Ұக͠ͳ͍৔߹͸ɺNZQZ͕Τϥʔͱͯ͠ݕग़ͯ͘͠ΕΔ 8

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠ 9

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠ ੩తܕݕ͕ࠪ͋Δͷʹͪ·ͪ·+40/ͷܕνΣοΫΛͨ͘͠ͳ͍ 9

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠ ɾ΄΅"OZͳ஋ΛɺΑ͘ܕ෇͚͞ΕͨΦϒδΣΫτʹม׵͍ͨ͠ ੩తܕݕ͕ࠪ͋Δͷʹͪ·ͪ·+40/ͷܕνΣοΫΛͨ͘͠ͳ͍ 9

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠ ɾ΄΅"OZͳ஋ΛɺΑ͘ܕ෇͚͞ΕͨΦϒδΣΫτʹม׵͍ͨ͠ ɾม׵ͯ͠͠·͑͹ɺޙ͸NZQZͷ੩తܕνΣοΫʹͷͤΒΕΔ ੩తܕݕ͕ࠪ͋Δͷʹͪ·ͪ·+40/ͷܕνΣοΫΛͨ͘͠ͳ͍ 9

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠ ɾ΄΅"OZͳ஋ΛɺΑ͘ܕ෇͚͞ΕͨΦϒδΣΫτʹม׵͍ͨ͠ ɾม׵ͯ͠͠·͑͹ɺޙ͸NZQZͷ੩తܕνΣοΫʹͷͤΒΕΔ ੩తܕݕ͕ࠪ͋Δͷʹͪ·ͪ·+40/ͷܕνΣοΫΛͨ͘͠ͳ͍ ܕώϯτΛ͢ΔલఏͳΒͦͷ৘ใΛ࢖ͬͯνΣοΫͰ͖ͳ͍͔ 9

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ ɾ΄΅"OZͳ஋ΛɺΑ͘ܕ෇͚͞ΕͨΦϒδΣΫτʹม׵͍ͨ͠ ɾม׵ͯ͠͠·͑͹ɺޙ͸NZQZͷ੩తܕνΣοΫʹͷͤΒΕΔ ੩తܕݕ͕ࠪ͋Δͷʹͪ·ͪ·+40/ͷܕνΣοΫΛͨ͘͠ͳ͍ ܕώϯτΛ͢ΔલఏͳΒͦͷ৘ใΛ࢖ͬͯνΣοΫͰ͖ͳ͍͔ 9

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͍ͨ͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ ɾ΄΅"OZͳ஋ΛɺΑ͘ܕ෇͚͞ΕͨΦϒδΣΫτʹม׵͍ͨ͠ ɾͳΜ͔Ͱ͖ͦ͏ͳͷͰࢼͯ͠Έͨ ɾม׵ͯ͠͠·͑͹ɺޙ͸NZQZͷ੩తܕνΣοΫʹͷͤΒΕΔ ੩తܕݕ͕ࠪ͋Δͷʹͪ·ͪ·+40/ͷܕνΣοΫΛͨ͘͠ͳ͍ ܕώϯτΛ͢ΔલఏͳΒͦͷ৘ใΛ࢖ͬͯνΣοΫͰ͖ͳ͍͔ https://github.com/mitsuse/typedjson-python 9

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͢Δ 10

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͢Δ 0QUJPOBM 6OJPO ΋ѻ͑Δ 10

ܕώϯτΛ࢖ͬͯ ࣮ߦ࣌ʹ+40/ͷܕνΣοΫΛ͢Δ 0QUJPOBM 6OJPO ΋ѻ͑Δ ඞਢͷϓϩύςΟʹର͢Δ/POF͸Τϥʔ 10

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ 11

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ ۪௚ʹ@@BOOPUBUJPOT@@Λల։ͯ͠ܕνΣοΫ͍ͯ͘͠ 11

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ ۪௚ʹ@@BOOPUBUJPOT@@Λల։ͯ͠ܕνΣοΫ͍ͯ͘͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ 11

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ ۪௚ʹ@@BOOPUBUJPOT@@Λల։ͯ͠ܕνΣοΫ͍ͯ͘͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ ɾܕύϥϝʔλʔΛ࣋ͭܕ 6OJPO΍5VQMFͳͲ ͸ʜ 11

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ ۪௚ʹ@@BOOPUBUJPOT@@Λల։ͯ͠ܕνΣοΫ͍ͯ͘͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ ɾܕύϥϝʔλʔΛ࣋ͭܕ 6OJPO΍5VQMFͳͲ ͸ʜ ɾ@@PSJHJO@@Ͱ͍ΘΏΔSBXUZQF͕औಘͰ͖Δ ɾ@@BSHT@@Ͱܕύϥϝʔλʔʹ౉͞Εͨܕ͕औಘͰ͖Δ 11

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ 11 ۪௚ʹ@@BOOPUBUJPOT@@Λల։ͯ͠ܕνΣοΫ͍ͯ͘͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ ɾܕύϥϝʔλʔΛ࣋ͭܕ 6OJPO΍5VQMFͳͲ ͸ʜ ɾ@@PSJHJO@@Ͱ͍ΘΏΔSBXUZQF͕औಘͰ͖Δ ɾ@@BSHT@@Ͱܕύϥϝʔλʔʹ౉͞Εͨܕ͕औಘͰ͖Δ EBUBDMBTT΁ͷม׵͸JOJU5SVF͕ݱঢ়͸લఏ

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ ۪௚ʹ@@BOOPUBUJPOT@@Λల։ͯ͠ܕνΣοΫ͍ͯ͘͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ ɾܕύϥϝʔλʔΛ࣋ͭܕ 6OJPO΍5VQMFͳͲ ͸ʜ ɾ@@PSJHJO@@Ͱ͍ΘΏΔSBXUZQF͕औಘͰ͖Δ ɾ@@BSHT@@Ͱܕύϥϝʔλʔʹ౉͞Εͨܕ͕औಘͰ͖Δ EBUBDMBTT΁ͷม׵͸JOJU5SVF͕ݱঢ়͸લఏ ɾϑΟʔϧυͷܕώϯτ͔ΒετϨʔτʹEBUBDMBTTͷ஋Λੜ੒͢Δ
ͨΊ 11

Ͳ͏΍ͬͯಈ͍͍ͯΔͷ͔ʁ ۪௚ʹ@@BOOPUBUJPOT@@Λల։ͯ͠ܕνΣοΫ͍ͯ͘͠ ɾܕ৘ใ͸࣮ߦ࣌ʹ@@BOOPUBUJPOT@@ͰऔಘͰ͖Δ ɾܕύϥϝʔλʔΛ࣋ͭܕ 6OJPO΍5VQMFͳͲ ͸ʜ ɾ@@PSJHJO@@Ͱ͍ΘΏΔSBXUZQF͕औಘͰ͖Δ ɾ@@BSHT@@Ͱܕύϥϝʔλʔʹ౉͞Εͨܕ͕औಘͰ͖Δ EBUBDMBTT΁ͷม׵͸JOJU5SVF͕ݱঢ়͸લఏ ɾϑΟʔϧυͷܕώϯτ͔ΒετϨʔτʹEBUBDMBTTͷ஋Λੜ੒͢Δ
ͨΊ ྆ऀͱ΋VOEPDVNFOUFE ࠓޙ΋࢒Δ"1*Ͱ͋Δͱ͸ݴΘΕ͍ͯΔ͕ʜ 11

·ͱΊ

·ͱΊ Ξϊςʔγϣϯͱܕώϯτ ɾ1ZUIPOຊମʹύϥϝʔλʔʹର͢ΔΞϊςʔγϣϯΛ෇༩͢Δγϯ λοΫε͕௥Ճ͞Ε͍ͯΔ ࣮ߦ࣌ʹܕ৘ใΛࢀরͯ͠Կ͕Ͱ͖Δ͔ ɾΞϊςʔγϣϯͷҰͭͷ༻్ͱͯ͠ܕώϯτ͕͋Δ ɾEBUBDMBTTͷܕఆٛΛ࢖༻ͨ͠+40/ͷܕνΣοΫΛ࣮૷ͯ͠Έͨ ɾΞϊςʔγϣϯɾܕώϯτͷ৘ใ͸࣮ߦ࣌ʹ΋ࢀরͰ͖Δ ɾ੍ݶɾVOEPDVNFOUFEͳ"1*ͷ໰୊͸͋Δ͕ಈ͘ʹ͸ಈ͘

Python の型ヒントで JSON の型チェックをする / Validation for J...

Python の型ヒントで JSON の型チェックをする / Validation for JSON with Type hints in Python

More Decks by mitsuse

Other Decks in Programming

Featured

Transcript

Python の型ヒントで JSON の型チェックをする / Validation for J...

Python の型ヒントで JSON の型チェックをする / Validation for JSON with Type hints in Python