[pypy-commit] pypy default: Add project idea: Explicit typing in RPython

[rlamy]

Author: Ronan Lamy <ronan.lamy at gmail.com>
Branch: 
Changeset: r90005:5b678fd8a673
Date: 2017-02-07 21:34 +0000
http://bitbucket.org/pypy/pypy/changeset/5b678fd8a673/

Log:	Add project idea: Explicit typing in RPython

diff --git a/pypy/doc/project-ideas.rst b/pypy/doc/project-ideas.rst
--- a/pypy/doc/project-ideas.rst
+++ b/pypy/doc/project-ideas.rst
@@ -38,6 +38,21 @@
 .. _mailing list: http://mail.python.org/mailman/listinfo/pypy-dev
 
 
+Explicit typing in RPython
+--------------------------
+
+RPython is mostly based around type inference, but there are many cases where
+specifying types explicitly is useful. We would like to be able to optionally 
+specify the exact types of the arguments to any function. We already have
+solutions in that space, ``@rpython.rlib.objectmodel.enforceargs`` and
+``@rpython.rlib.signature.signature``, but they are inconvenient and limited. 
+For instance, they do not easily allow to express the type "dict with ints as
+keys and lists of instances of Foo as values".
+
+Additionally, we would like to be able to specify the types of instance
+attributes. Unlike the function case, this is likely to require some
+refactoring of the annotator. 
+
 Make bytearray type fast
 ------------------------