Python Type Hinting and Static Type Checking

Transcript

1. 1.

   PyCon Korea 2019 ੿੸ ఋੑ Ѩࢎ۽ ؊ ա਷ Python ௏٘

   ੘ࢿೞӝ ੉ହ൞
2. 2.

   ߊ಴੗ blurfx • ࣽୌೱ؀೟Ү (2014 ~ ) • ֏ट௏ܻই (2018.03

   ~ 2019.07) • ೖ೒ಎ٘ஹಌפ (2019.07 ~ )
3. 3.

   ౵੉ॆਸ फযೞח ࢎۈٜ਷ ౵੉ॆਸ ৵ फযೡөਃ?

4. 4.

   None
5. 5.

   ੿੸ ఋੑ ঱য
 ز੸ ఋੑ ঱য

6. 6.

   ੿੸ ఋੑ ঱য Writing Code Build Test Run/Deploy য়ܨܳ ߊѼೞח

   ҳр
7. 7.

   ز੸ ఋੑ ঱য Writing Code Test Run/Deploy য়ܨܳ ߊѼೞח ҳр

8. 8.

   ੿੸ ఋੑ Ѩࢎо ޖ঺੉Ҋ ೞݶ ޖ঺੉ જই૑աਃ?

9. 9.

   ೐۽ં౟о ੘ਵݶ ѐߊ੗੄ ࣻب ੸Ҋ, ߡӒ੄ ࣻب ੸૑݅ icons from

   https://icons8.com
10. 10.

    ೐۽ં౟о ੘ਵݶ ѐߊ੗੄ ࣻب ੸Ҋ, ߡӒ੄ ࣻب ੸૑݅ icons from

    https://icons8.com ೐۽ં౟о ழ૑Ҋ ѐߊ੗о ݆ই૑ݶ Ӓ ݅ఀ ߡӒب ݆ই૘פ׮
11. 11.

    ೐۽ં౟о ੘ਵݶ ѐߊ੗੄ ࣻب ੸Ҋ, ߡӒ੄ ࣻب ੸૑݅ icons from

    https://icons8.com ೐۽ં౟о ழ૑Ҋ ѐߊ੗о ݆ই૑ݶ Ӓ ݅ఀ ߡӒب ݆ই૘פ׮ ز੸ ఋੑ ঱য۽ ੘ࢿೠ ௏٘ח ೐۽ં౟о ழ૕ࣻ۾
 п ё୓о যڃ чਸ ঌҊ ੓ח૑ ൨ٜয૘פ׮ var x 
 
 ... x ?
12. 12.

    Writing Code Static Type Checking Test Run/Deploy ੿੸ ఋੑ ୓௼۽

    ఋੑী য়ܨо ੓ח૑ Ѩࢎ
13. 13.

    ௏٘੄ оةࢿ੉ ৢۄоҊ ఋੑਵ۽ ߊࢤೡ ࣻ ੓ח ߡӒܳ ৘ߑ೧઻ਃ

14. 14.

    ௏٘੄ оةࢿ੉ ৢۄоҊ ఋੑਵ۽ ߊࢤೡ ࣻ ੓ח ߡӒܳ ৘ߑ೧઻ਃ

15. 15.

    To Type or Not to Type: Quantifying Detectable Bugs in

    JavaScript http://earlbarr.com/publications/typestudy.pdf
16. 16.

    http://earlbarr.com/publications/typestudy.pdf To Type or Not to Type

17. 17.

    Conclusion: we found that using Flow or TypeScript could have

    prevented 15% of the public bugs for public projects on GitHub. http://earlbarr.com/publications/typestudy.pdf To Type or Not to Type
18. 18.

    Conclusion: we found that using Flow or TypeScript could have

    prevented 15% of the public bugs for public projects on GitHub. http://earlbarr.com/publications/typestudy.pdf To Type or Not to Type
19. 19.

    ౵੉ॆ਷ ز੸ ఋੑ ঱যੋؘ ఋੑਸ যڌѱ ઻ਃ?

20. 20.

    Function Annotation Type Annotation Variable Annotation Python 3.0+ Python 3.5+

    Python 3.6+
21. 21.

    Python 3.6+

22. 22.

    ఋੑ ൦౴

23. 23.

    ఋੑ ൦౴

24. 24.

    ఋੑ ൦౴

25. 25.

    ఋੑ ൦౴

26. 26.

    ఋੑ ൦౴

27. 27.

    • ੿ࣻ৬ ޙ੗ৌ݅ ೲਊೞח ܻझ౟ • ޙ੗ৌ, पࣻ, ࠗ਎ ࣽࢲ۽

    ػ ౚ೒ • ޙ੗ৌ ః৬ ߄੉౟ чਸ о૓ ٤࣊ցܻ • ઁ֎ܼ ೣࣻ৬ ௿ېझ ఋੑ ൦౴
28. 28.

    https://imgflip.com/i/186jmm

29. 29.

    ఋੑ ൦౴

30. 30.

    ఋੑ ൦౴

31. 31.

    ఋੑ ൦౴

32. 32.

    TypeError: Too many parameters for typing.List; actual 2, expected 1

    ఋੑ ൦౴
33. 33.

    ఋੑ ൦౴

34. 34.

    ఋੑ ൦౴

35. 35.

    ఋੑ ൦౴

36. 36.

    ఋੑ ൦౴

37. 37.

    ఋੑ ൦౴

38. 38.

    ఋੑ ൦౴

39. 39.

    ఋੑ ൦౴

40. 40.

    None
41. 41.

    ఋੑ ൦౴

42. 42.

    ఋੑ ൦౴

43. 43.

    None
44. 44.

    None
45. 45.

    http://blog.daum.net/junjungirl/109

46. 46.

    “ no type checking happens at runtime ” — PEP

    484
47. 47.

    None
48. 48.

    mypy mypy ࢸ஖ೞӝ

49. 49.

    mypy ੿੸ ఋੑ Ѩࢎೞӝ

50. 50.

    mypy ੿੸ ఋੑ Ѩࢎೞӝ

51. 51.

    mypy ੿੸ ఋੑ Ѩࢎೞӝ

52. 52.

    None
53. 53.

    Incompatible types in assignment (expression has type "str", variable has

    type "int") List item 1 has incompatible type "int"; expected "str" List item 2 has incompatible type "float"; expected "str" Argument 1 to "append" of "list" has incompatible type "bytes"; expected "str"
54. 54.

    mypy

55. 55.

    mypy

56. 56.

    mypy

57. 57.

    mypy.readthedocs.io ؊ ੗ࣁೠ ղਊ਷...

58. 58.

    github.com/python/mypy

59. 59.

    Q & A

60. 60.

    хࢎ೤פ׮ iam@xo.dev