Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.python > #98939

PEP 484 stubs with generic types

Show key headers only | View raw

Playing around a bit with PEP 484, I annotated a function that returns
an asyncio.Future:

import asyncio

def get_future() -> asyncio.Future[int]:
    future = asyncio.Future()
    future.set_result(42)
    return future

The problem with this is that in Python 3.5, asyncio.Future can't be
used as a generic type. Fortunately, the typeshed repository provides
a stub that defines it as a generic type:

https://github.com/python/typeshed/blob/master/stdlib/3.4/asyncio/futures.pyi

This is fine for running a static type checker, but it still creates a
problem when actually running the code. The real asyncio.Future
doesn't support indexing, and so the annotation causes a TypeError at
runtime.

I could write the annotation as a forward reference, avoiding the TypeError:

def get_future() -> "asyncio.Future[int]":
    ...

But PEP 484 stipulates that a forward reference "should evaluate
without errors once the module has been fully loaded", so this is
invalid.

Is there any advice for this case? How are generic types meant to be
used with stub files?

Back to comp.lang.python | Previous | Next | Find similar | Unroll thread

Thread

PEP 484 stubs with generic types Ian Kelly <ian.g.kelly@gmail.com> - 2015-11-17 10:49 -0700

csiph-web