Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Python Type Hints

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for José Padilla José Padilla
March 15, 2018
620
0

Python Type Hints

5min talk on Python Type Hints. Presented at newhaven.io

Avatar for José Padilla

José Padilla

March 15, 2018

More Decks by José Padilla

See All by José Padilla
Python, Government, and Contracts
Avatar for José Padilla jpadilla
0
82
Python, Government, and Contracts
Avatar for José Padilla jpadilla
0
5.2k
Developer Ergonomics
Avatar for José Padilla jpadilla
0
2.1k
DjangoCon - JSON Web Tokens
Avatar for José Padilla jpadilla
15
11k
BFTW: The Backend
Avatar for José Padilla jpadilla
4
240
eventos
Avatar for José Padilla jpadilla
0
230
JWT
Avatar for José Padilla jpadilla
2
480
Ember.js + Django
Avatar for José Padilla jpadilla
3
2.2k
UPRB Basic Workshop
Avatar for José Padilla jpadilla
2
250

Featured

See All Featured
Automating Front-end Workflow
Avatar for Addy Osmani addyosmani
1369
210k
So, you think you're a good person
Avatar for Per Axbom axbom
PRO
2
2.1k
Agile Leadership in an Agile Organization
Avatar for Dr. Kim W Petersen kimpetersen
PRO
0
230
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
3.2k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
Avatar for Kevin Liebholz kevinliebholz
37
6.6k
Principles of Awesome APIs and How to Build Them.
Avatar for Keavy McMinn keavy
128
18k
Money Talks: Using Revenue to Get Sh*t Done
Avatar for Nikki Halliwell nikkihalliwell
0
490
State of Search Keynote: SEO is Dead Long Live SEO
Avatar for Ryan Jones ryanjones
0
260
Optimizing for Happiness
Avatar for Tom Preston-Werner mojombo
378
71k
SEO for Brand Visibility & Recognition
Avatar for Aleyda Solis aleyda
0
4.7k
A Modern Web Designer's Workflow
Avatar for Chris Coyier chriscoyier
698
190k
More Than Pixels: Becoming A User Experience Designer
Avatar for Michelle Schulp Hunt marktimemedia
3
520

Transcript

  1. Type Hints

  2. José Padilla

  3. Work Training

  4. Work Open Source

  5. PEP 3107

  6. None

  7. PEP 484

  8. None

  9. no type checking happens at runtime

  10. static analysis refactoring runtime type checking code generation

  11. static analysis refactoring runtime type checking code generation

  12. None

  13. Common built-in types

  14. None
  15. None
  16. None
  17. None
  18. None
  19. None
  20. None
  21. None
  22. None
  23. None
  24. None
  25. None
  26. None

  27. Generics

  28. None
  29. None

  30. mypy

  31. static type checker

  32. $ pip install mypy

  33. $ python app.py

  34. None

  35. $ python app.py f 1 Traceback (most recent call last):

    File "app.py", line 12, in <module> print(first(1)) # TypeError File "app.py", line 7, in first return seq[0] TypeError: 'int' object is not subscriptable

  36. $ mypy app.py

  37. $ mypy app.py main.py:12: error: Argument 1 to "first" has

    incompatible type "int"; expected "Sequence[<nothing>]"
  38. None

  39. mypy-lang.org

  40. Python will remain a dynamically typed language

  41. Thanks! jpadilla.com twitter.com/@jpadilla_ github.com/jpadilla