Kinds of types

We’ve mostly restricted ourselves to built-in types until now. Thissection introduces several additional kinds of types. You are likelyto need at least some of them to type check any non-trivial programs.

• Class types
• The Any type
• Tuple types
• Callable types (and lambdas)
• Union types
• Optional types and the None type
• Disabling strict optional checking
• Class name forward references
• Type aliases
• Named tuples
• The type of class objects
• Text and AnyStr
• Generators