Python Type Hinting and Static Type Checking

Python Type Hinting and Static Type Checking

00a421d812321ce55a4cfd27e7b8b315?s=128

ChangHui Lee

August 17, 2019
Tweet

Transcript

  1. 2.

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

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

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

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

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

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

    To Type or Not to Type: Quantifying Detectable Bugs in

    JavaScript http://earlbarr.com/publications/typestudy.pdf
  6. 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
  7. 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
  8. 27.

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

    ػ ౚ೒ • ޙ੗ৌ ః৬ ߄੉౟ чਸ о૓ ٤࣊ցܻ • ઁ֎ܼ ೣࣻ৬ ௿ېझ ఋੑ ൦౴
  9. 40.
  10. 43.
  11. 44.
  12. 47.
  13. 52.
  14. 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"
  15. 54.
  16. 55.
  17. 56.
  18. 59.