static analysis
refactoring
runtime type checking
code generation
Slide 11
Slide 11 text
static analysis
refactoring
runtime type checking
code generation
Slide 12
Slide 12 text
No content
Slide 13
Slide 13 text
Common built-in types
Slide 14
Slide 14 text
No content
Slide 15
Slide 15 text
No content
Slide 16
Slide 16 text
No content
Slide 17
Slide 17 text
No content
Slide 18
Slide 18 text
No content
Slide 19
Slide 19 text
No content
Slide 20
Slide 20 text
No content
Slide 21
Slide 21 text
No content
Slide 22
Slide 22 text
No content
Slide 23
Slide 23 text
No content
Slide 24
Slide 24 text
No content
Slide 25
Slide 25 text
No content
Slide 26
Slide 26 text
No content
Slide 27
Slide 27 text
Generics
Slide 28
Slide 28 text
No content
Slide 29
Slide 29 text
No content
Slide 30
Slide 30 text
mypy
Slide 31
Slide 31 text
static type checker
Slide 32
Slide 32 text
$ pip install mypy
Slide 33
Slide 33 text
$ python app.py
Slide 34
Slide 34 text
No content
Slide 35
Slide 35 text
$ python app.py
f
1
Traceback (most recent call last):
File "app.py", line 12, in
print(first(1)) # TypeError
File "app.py", line 7, in first
return seq[0]
TypeError: 'int' object is not subscriptable
Slide 36
Slide 36 text
$ mypy app.py
Slide 37
Slide 37 text
$ mypy app.py
main.py:12: error: Argument 1 to "first" has
incompatible type "int"; expected
"Sequence[]"