[Python-3000] Type annotations: annotating generators

[Collin Winter]

On 5/19/06, Tony Lownds <tony at printra.net> wrote:
> I've been hacking on such a system, called "t_types". It is in pre-
> release form right now.
> It actually deduces type usage using bytecode simulation, before run-
> time.

What do you mean by "bytecode simulation" and "before runtime"?

Also, is there somewhere to read about/download this system?

> Question for Guido/Collin:
>
> Out of curiosity, are there concrete plans for how the type
> annotation syntax for functions
> translates into bytecode?

For my part, I've never imagined that any of the type system would
translate into bytecode. I believe one of Guido's blog posts mentions
that the type information will be available from the callable's
__signature__ attribute.

Collin Winter