Add brief section on Reticulated Python, plus stubs for other Pythonic projects.

This commit is contained in:
Guido van Rossum 2015-01-09 10:52:06 -08:00
parent 21129621fb
commit 71cbad9633
1 changed files with 30 additions and 5 deletions

View File

@ -18,8 +18,9 @@ This PEP is one of three related to type hinting. This PEP gives a
literature overview of related work. literature overview of related work.
Existing Approaches in Other Languages Existing Approaches for Python
====================================== ==============================
mypy mypy
---- ----
@ -27,6 +28,27 @@ mypy
(This section is a stub, since mypy [mypy]_ is essentially what we're (This section is a stub, since mypy [mypy]_ is essentially what we're
proposing.) proposing.)
Reticulated Python
------------------
Reticulated Python [reticulated]_ by Michael Vitousek is an example of
a slightly different approach to gradual typing for Python. It is
described in an actual academic paper [reticulated-paper]_ written by
Vitousek with Jeremy Siek and Jim Baker (the latter of Jython fame).
Others
------
TBD: Add sections on pyflakes [pyflakes]_, pylint [pylint]_, numpy
[numpy]_, Argument Clinic [argumentclinic]_, pytypedecl [pytypedecl]_,
numba [numba]_, obiwan [obiwan]_.
Existing Approaches in Other Languages
======================================
ActionScript ActionScript
------------ ------------
@ -165,12 +187,15 @@ Example code with types::
References References
========== ==========
.. [pep-3107]
http://www.python.org/dev/peps/pep-3107/
.. [mypy] .. [mypy]
http://mypy-lang.org http://mypy-lang.org
.. [reticulated]
https://github.com/mvitousek/reticulated
.. [reticulated-paper]
http://wphomes.soic.indiana.edu/jsiek/files/2014/03/retic-python.pdf
.. [obiwan] .. [obiwan]
http://pypi.python.org/pypi/obiwan http://pypi.python.org/pypi/obiwan