Commit Graph

104 Commits

Author SHA1 Message Date
Guido van Rossum 908c2eb563 A new type hints draft. I've decided to publish more drafts.
Significant changes in this draft:
- Define stubs.
- Define `@overload`.
- Describe `cast()`.
- Fix description of `Any`.
- Describe `Callable[..., t]`.
- Explain why `List[t]` instead of `List<t>`.
- Add section on rejected alternatives.
- Various other edits for clarity.
2015-03-20 09:47:17 -07:00
Guido van Rossum 9d3cc6ea4d PEP 48{2,3} title changes (typing -> types) and add some cross-links. 2015-01-16 09:11:05 -08:00
Guido van Rossum e8ede28ac9 First public draft of PEP 484 2015-01-16 09:05:19 -08:00
Guido van Rossum c636a8b201 Add PEP 482, 483, 484 -- type hints. The latter two are stubs. 2015-01-08 11:10:25 -08:00