Talks: Getting Started with Statically Typed Programming in Python 3.10

Presented by:


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