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

Python Type Hints

Avatar for José Padilla José Padilla
March 15, 2018
0
520

Python Type Hints

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

Avatar for José Padilla

José Padilla

March 15, 2018
Tweet

More Decks by José Padilla

See All by José Padilla
Python, Government, and Contracts
Avatar for José Padilla jpadilla
0
51
Python, Government, and Contracts
Avatar for José Padilla jpadilla
0
5k
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
200
eventos
Avatar for José Padilla jpadilla
0
170
JWT
Avatar for José Padilla jpadilla
2
440
Ember.js + Django
Avatar for José Padilla jpadilla
3
2.1k
UPRB Basic Workshop
Avatar for José Padilla jpadilla
2
210

Featured

See All Featured
The Language of Interfaces
Avatar for Des Traynor destraynor
161
25k
Learning to Love Humans: Emotional Interface Design
Avatar for Aarron Walter aarron
273
40k
Imperfection Machines: The Place of Print at Facebook
Avatar for Scott Boms scottboms
268
13k
The Success of Rails: Ensuring Growth for the Next 100 Years
Avatar for Eileen M. Uchitelle eileencodes
46
7.6k
ReactJS: Keep Simple. Everything can be a component!
Avatar for Pedro Nauck pedronauck
667
120k
Testing 201, or: Great Expectations
Avatar for Joseph Mastey jmmastey
45
7.7k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
Avatar for Tammy Everts tammyeverts
53
2.9k
Six Lessons from altMBA
Avatar for Skipper Chong Warson skipperchong
28
4k
The Art of Programming - Codeland 2020
Avatar for Erika Heidi erikaheidi
56
13k
The Illustrated Children's Guide to Kubernetes
Avatar for Chris Short chrisshort
48
50k
Balancing Empowerment & Direction
Avatar for Lara Hogan lara
3
620
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
Avatar for mongodb mongodb
48
9.7k

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