iSharkFly-Open
/
python-peps
mirror of https://github.com/python/peps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

PEP 48{2,3} title changes (typing -> types) and add some cross-links.

This commit is contained in:
Guido van Rossum 2015-01-16 09:11:05 -08:00
parent e8ede28ac9
commit 9d3cc6ea4d
3 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pep-0482.txt
View File

@ -1,5 +1,5 @@
PEP: 482
Title: Literature Overview for Type Hinting
Title: Literature Overview for Type Hints
Version: $Revision$
Last-Modified: $Date$
Author: Łukasz Langa <lukasz@langa.pl>
@ -15,7 +15,7 @@ Abstract
========
This PEP is one of three related to type hinting. This PEP gives a
literature overview of related work.
literature overview of related work. The main spec is PEP 484.
Existing Approaches for Python

4
pep-0483.txt
View File

@ -1,5 +1,5 @@
PEP: 483
Title: The Theory of Type Hinting
Title: The Theory of Type Hints
Version: $Revision$
Last-Modified: $Date$
Author: Guido van Rossum <guido@python.org>
@ -14,7 +14,7 @@ Resolution:
Abstract
========
This PEP lays out the theory to be referenced by PEP 484.
This PEP lays out the theory referenced by PEP 484.
Introduction

2
pep-0484.txt
View File

@ -20,6 +20,8 @@ on function definitions.
The proposal is strongly inspired by mypy [mypy]_.
The theory behind type hints and gradual typing is explained in PEP 483.
Rationale and Goals
===================