Wouldn't it be possible to get a performance improvement from type
annotations without sacrificing correctness?
From the perspective of static compilation, if you have an infinitely
powerful type inference engine, there shouldn't be any difference to have
type annotations or not. The reason that
Hi,
On 25 January 2015 at 00:05, Ho33e5 ho3...@gmail.com wrote:
What is your view on the new typing/mypy things that are happening on
python-dev
(pep 484)? What I mean is will this make the typing system of rpython evolve?
Could
RTyper be adapted to work on pep 484 annotations (would it
In theory it's possible. In practice I struggle to imagine an example
where it would make real difference (unlike other hints, e.g. this
value tends to be smaller than 5 or this list tends to store
only/mostly integers etc.)
On Sun, Jan 25, 2015 at 11:13 AM, Robert Grosse n210241048...@gmail.com
Hi everybody,
firstly, this is just an email for personal interest and has nothing to do
directly
with development so this mailing list may not be quite the right place (I am
going
to hang around on #pypy...). I am a student and generally interested with the
pypy
development, especially with