[Typing-sig] Re: Type assignment statement (and extending the annotation syntax)

Just two random thoughts, not intended as an in-depth analysis of this proposal. Am 16.04.21 um 18:59 schrieb Jukka Lehtosalo:

However, what about type aliases:

  A = () => int  # Hmm?

An alternative for aliases is to rethink the rejected idea from PEP 613 and allow type aliases to be defined like this: A: TypeAlias[() => int] (I really wish we could use <> instead of [], though.)

  type A = list[int]

As introducing "type" as a keyword could be problematic (although I might be mistaken), we could reuse "def":     def A = list[int]  - Sebastian