I’m experimenting with PEP 646 Variadic Generics and PEP 695 Class/Function Scoped TypeVars in Python 3.13. My goal is to create a heterogeneous container that stores items (functions, in this example) each returning a different type — while avoiding Any.

Type “Subclass” is not assignable to return type “Self@Subclass”

Type “Subclass” is not assignable to return type “Self@Subclass”

def foo(myarg, **other_args): # do something return bar(**other_args) Is it possible to annotate this function in a way that would make it clear to IDEs that other_args are the arguments of function bar()? So that the IDE would provide a helpful code completion in this case. python python-typing Combine this answer with Concatenate: (playgrounds: Mypy, […]

def foo(myarg, **other_args): # do something return bar(**other_args) Is it possible to annotate this function in a way that would make it clear to IDEs that other_args are the arguments of function bar()? So that the IDE would provide a helpful code completion in this case. python python-typing Combine this answer with Concatenate: (playgrounds: Mypy, […]

There are some cases when a function will return different type based on the parameter input.

I want to have single file that defines a bunch of constants so that I don’t need to hardcode them later on.

class CircleFactory: _circle_cache = {} @classmethod def get_circle(cls, radius: float) -> Circle: return cls._circle_cache.setdefault(radius, Circle(radius)) GetCircle = type(CircleFactory.get_circle) will GetCircle be sufficient for type-hinting and type checking in examples like def area(radius: float, get_circle: GetCircle) -> float: return 0f def custom_circle_gen(radius: float) -> Circle: return Circle(radius + 1) area(radius, CircleFactory.get_circle) # correct area(radius, custom_circle_gen) # […]

If I have

Closed last month.