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

by Tomoya Kose

Slide 1

Slide 1 text

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

Slide 2

Slide 2 text

͓·͑ɺ୭Αʁ 1

Slide 3

Slide 3 text

͓·͑ɺ୭Αʁ 1

Slide 4

Slide 4 text

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

Slide 5

Slide 5 text

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

Slide 6

Slide 6 text

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

Slide 7

Slide 7 text

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

Slide 8

Slide 8 text

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

Slide 9

Slide 9 text

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

Slide 10

Slide 10 text

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

Slide 11

Slide 11 text

ؔ࿈͢Δ1&1΍NZQZͷ࿩

Slide 12

Slide 12 text

1&1'VODUJPO"OOPUBUJPOT 3

Slide 13

Slide 13 text

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

Slide 14

Slide 14 text

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

Slide 15

Slide 15 text

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

Slide 16

Slide 16 text

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

Slide 17

Slide 17 text

1&1'VODUJPO"OOPUBUJPOT 4

Slide 18

Slide 18 text

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

Slide 19

Slide 19 text

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

Slide 20

Slide 20 text

1&15ZQF)JOUT 5

Slide 21

Slide 21 text

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

Slide 22

Slide 22 text

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

Slide 23

Slide 23 text

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

Slide 24

Slide 24 text

1&15ZQF)JOUT 6

Slide 25

Slide 25 text

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

Slide 26

Slide 26 text

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

Slide 27

Slide 27 text

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

Slide 28

Slide 28 text

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

Slide 29

Slide 29 text

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

Slide 30

Slide 30 text

1&15ZQF)JOUT 7

Slide 31

Slide 31 text

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

Slide 32

Slide 32 text

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

Slide 33

Slide 33 text

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

Slide 34

Slide 34 text

NZQZ 8

Slide 35

Slide 35 text

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

Slide 36

Slide 36 text

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

Slide 37

Slide 37 text

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

Slide 38

Slide 38 text

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

Slide 39

Slide 39 text

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

Slide 40

Slide 40 text

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

Slide 41

Slide 41 text

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

Slide 42

Slide 42 text

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

Slide 43

Slide 43 text

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

Slide 44

Slide 44 text

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

Slide 45

Slide 45 text

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

Slide 46

Slide 46 text

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

Slide 47

Slide 47 text

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

Slide 48

Slide 48 text

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

Slide 49

Slide 49 text

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

Slide 50

Slide 50 text

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

Slide 51

Slide 51 text

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

Slide 52

Slide 52 text

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

Slide 53

Slide 53 text

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

Slide 54

Slide 54 text

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

Slide 55

Slide 55 text

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

Slide 56

Slide 56 text

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

Slide 57

Slide 57 text

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

Slide 58

Slide 58 text

Slide 59

Slide 59 text

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

Slide 60

Slide 60 text

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

Slide 61

Slide 61 text

Slide 62

Slide 62 text

·ͱΊ

Slide 63

Slide 63 text

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