Скачать или смотреть TypeForm: Type Hint for Type Expressions | Typing Summit | PyCon US 2024

00:00 Introduction
01:04 Roadmap of this Talk
01:38 What is a TypeForm?
04:49 Why is TypeForm useful? / Original Use of TypeForm
08:30 Why is TypeForm useful? / Applications of TypeForm
09:51 Discussion Topics / Overview
10:54 Discussion Topics / 1: TypeForm's actual name
11:13 Discussion Topics / 2: Annotated[...]
11:37 Discussion Topics / 3: Stringified type expressions
12:48 Discussion Topics / 4: Matching subsets of type expressions
13:30 Discussion Topics / 5: Implementability
14:13 Discussion / What do you put in a function like isassignable?
17:48 Discussion / Expectations on static type checkers related to TypeForm?
17:48 Discussion / What should a static type checker verify within a function like isassignable?
20:35 Discussion / Appetite for moving away from stringified type expressions?
22:17 Discussion / What is the argument T to a TypeForm?
22:58 Discussion / Should it be possible to declare TypeForm as the return type of a function?
24:26 Discussion / How to identify a value expression vs. a type expression in advance?
28:12 Discussion / Should isinstance(x, TypeForm) work?