Guido van Rossum <gu...@python.org> writes:
> The proposal is to allow this to be written as follows in
> implementation (non-stub) modules:
>
> class Foo(Generic[T]):
> @overload
> def __getitem__(self, i: int) -> T: ...
> @overload
> def __getitem__(self, s: slice) -> Foo[T]: ...
> def __getitem__(self, x):
> <actual implementation goes here>
>
> The actual implementation must be last, so at run time it will
> override the definition.
How about this to allow overloads to have actual implementations?
@overloaded
def __getitem__(self, x):
<default implementation, if none of the overloads matched>
@overloaded returns a function which will check the types against the
overloads (or anyway any overloads that have actual implementations),
call them returning the result if applicable, otherwise call the
original function.
Some magic with help() would improve usability, too - it could print all
the overloads and their docstrings. Maybe even @overload('__getitem__')
def __get_int(self, i: int), to make it so order doesn't matter.
That just leaves the question of how's this all gonna work with
subclasses.
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
