Author: Ronan Lamy <[email protected]> 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 ------------------------ _______________________________________________ pypy-commit mailing list [email protected] https://mail.python.org/mailman/listinfo/pypy-commit
