[Python-Dev] PEP 484 (Type Hints) -- the next draft is here

[Guido van Rossum]

(Also, there might be some interaction with PEP 492 here, which also tweaks
the definition of generators.)

On Sat, Apr 18, 2015 at 9:38 AM, Guido van Rossum <guido at python.org> wrote:

> That's a good question. We *could* make it so that you can subclass
> Generator and instantiate the instances; or we could even make it do some
> structural type checking. (Please file a pull request or issue for this at
> github.com/ambv/typehinting .) But perhaps we should also change asyncio?
> What check are you talking about?
>
> On Fri, Apr 17, 2015 at 10:35 PM, Stefan Behnel <stefan_ml at behnel.de>
> wrote:
>
>> Guido van Rossum schrieb am 17.04.2015 um 23:58:
>> > The ``typing`` module defines the ``Generator`` type for return values
>> > of generator functions. It is a subtype of ``Iterable`` and it has
>> > additional type variables for the type accepted by the ``send()``
>> > method and the return type of the generator:
>> >
>> > * Generator, used as ``Generator[yield_type, send_type, return_type]``
>>
>> Is this meant to accept only Python generators, or any kind of object that
>> implements the coroutine protocol? I'm asking because asyncio currently
>> suffers from an annoying type check here, so I'd like to avoid that this
>> problem keeps popping up again in other places.
>>
>> Stefan
>>
>>
>> _______________________________________________
>> Python-Dev mailing list
>> Python-Dev at python.org
>> https://mail.python.org/mailman/listinfo/python-dev
>> Unsubscribe:
>> https://mail.python.org/mailman/options/python-dev/guido%40python.org
>>
>
>
>
> --
> --Guido van Rossum (python.org/~guido)
>



-- 
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20150418/7d43dc17/attachment.html>