Description
Since 2015, it has been possible to write Python like a statically typed language with typing modules and other features introduced in Python 3.5.
This can significantly improve the development experience and review process.
I have been using type hints in my work for several years and have been studying Haskell and TypeScirpt. I believe this session will be a stepping stone for "type hints newbies."
What I will talk about in this talk:
- Advantages of using Typing
- Getting help from editors
- Facilitating code reviews
- How to get started with Typing
- Argument and return types for functions
- Using the standard Collections types
- The difference between tuple and other types
- Abstract and concrete types
- Generics, user-defined types
- Type Hinting Updates in Python 3.9 and 3.10
- (3.9) Type Hinting Generics In Standard Collections
- (3.10) Allow writing union types as X | Y
- (3.10) Parameter Specification Variables
- (3.10) Explicit Type Aliases
- (3.10) User-Defined Type Guards
What is not covered in this talk
- Basic Python 3 syntax
- (Not required): Experience developing in statically typed languages
Related contents:
- A talk at PyCon JP 2020 (JA): https://pycon.jp/2020/en/timetable/?id=203955
- https://docs.python.org/3/library/typing.html