Commit Graph

69 Commits

Author SHA1 Message Date
Guido van Rossum 238df5a182 Update PEP 484 with recommended Python 2 alternative. 2016-01-11 09:36:24 -08:00
Guido van Rossum 0edb99f346 Add Awaitable, AsyncIterable, AsyncIterator to PEP 484 (to be released 3.5.2). 2015-12-03 15:27:36 -08:00
Ethan Furman b3a934952e fix typo 2015-10-30 08:45:05 -07:00
Guido van Rossum 10aeb49768 Special case in stub files for import *. 2015-10-30 08:40:37 -07:00
Guido van Rossum 0990eb2b1b Update typeshed link. 2015-07-29 18:44:48 +02:00
Guido van Rossum 90da49bb4b Add Python-Version header; some formatting fixes. 2015-07-16 09:44:36 +02:00
Guido van Rossum 1f813b8347 Clarify isinstance(x, Callable). Drop reference to isinstance() implementation. 2015-06-05 08:08:43 -07:00
Guido van Rossum c41c6fcc29 Typo fix (thanks Yuval G.). 2015-05-26 07:05:50 -07:00
Guido van Rossum 768662f9e8 PEP 484 (type hints) accepted by BDFL-Delegate (Mark Shannon). 2015-05-22 19:00:21 -07:00
Guido van Rossum e2ebedeb23 Update PEP 484. Mostly clarifications and edits; dropped predefined platform constants. 2015-05-22 08:21:26 -07:00
Guido van Rossum cc952ce033 Updated version of PEP 484. 2015-05-20 08:26:09 -07:00
Guido van Rossum 532c8f3c4c Discuss issue #105 and a solution. 2015-05-07 08:22:27 -07:00
Berker Peksag 12260a062d Fix PEP generation error. 2015-04-18 09:44:19 +03:00
Guido van Rossum 4f41b1f9e3 New version of PEP 484 for review by python-dev. 2015-04-17 14:44:03 -07:00
Guido van Rossum 2d90c47e44 Add section on PEP Development Process, with github links. 2015-03-20 10:26:19 -07:00
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