Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Python Type Hints
Search
Sponsored
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
José Padilla
March 15, 2018
600
0
Share
Python Type Hints
5min talk on Python Type Hints. Presented at newhaven.io
José Padilla
March 15, 2018
More Decks by José Padilla
See All by José Padilla
Python, Government, and Contracts
jpadilla
0
69
Python, Government, and Contracts
jpadilla
0
5.1k
Developer Ergonomics
jpadilla
0
2.1k
DjangoCon - JSON Web Tokens
jpadilla
15
11k
BFTW: The Backend
jpadilla
4
230
eventos
jpadilla
0
210
JWT
jpadilla
2
470
Ember.js + Django
jpadilla
3
2.2k
UPRB Basic Workshop
jpadilla
2
240
Featured
See All Featured
Lightning Talk: Beautiful Slides for Beginners
inesmontani
PRO
1
530
Fantastic passwords and where to find them - at NoRuKo
philnash
52
3.7k
How to build an LLM SEO readiness audit: a practical framework
nmsamuel
1
730
Digital Ethics as a Driver of Design Innovation
axbom
PRO
1
270
Making Projects Easy
brettharned
120
6.6k
How to make the Groovebox
asonas
2
2.1k
Have SEOs Ruined the Internet? - User Awareness of SEO in 2025
akashhashmi
0
330
The Impact of AI in SEO - AI Overviews June 2024 Edition
aleyda
5
820
Building AI with AI
inesmontani
PRO
1
920
How to Align SEO within the Product Triangle To Get Buy-In & Support - #RIMC
aleyda
2
1.5k
SEO in 2025: How to Prepare for the Future of Search
ipullrank
3
3.4k
16th Malabo Montpellier Forum Presentation
akademiya2063
PRO
0
110
Transcript
Type Hints
José Padilla
Work Training
Work Open Source
PEP 3107
None
PEP 484
None
no type checking happens at runtime
static analysis refactoring runtime type checking code generation
static analysis refactoring runtime type checking code generation
None
Common built-in types
None
None
None
None
None
None
None
None
None
None
None
None
None
Generics
None
None
mypy
static type checker
$ pip install mypy
$ python app.py
None
$ 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
$ mypy app.py
$ mypy app.py main.py:12: error: Argument 1 to "first" has
incompatible type "int"; expected "Sequence[<nothing>]"
None
mypy-lang.org
Python will remain a dynamically typed language
Thanks! jpadilla.com twitter.com/@jpadilla_ github.com/jpadilla