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 wrote:
> Wouldn't it
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 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 actually be
>