Author lukasz.langa
Recipients lukasz.langa, rhettinger, yselivanov
Date 2017-12-05.21:24:12
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1512509052.55.0.213398074469.issue32227@psf.upfronthosting.co.za>
In-reply-to
Content
With the patch attached to this issue, @singledispatch gains support for passing the type in @register via annotations.

This looks more natural and enables more thorough type checking without repeating yourself:


@singledispatch
def generic(arg): ...

@generic.register
def _(arg: str): ...

@generic.register
def _(arg: int): ...


The previous API is still available for backwards compatibility, as well as stacking, and use with classes (sic, I was surprised to learn it's used that way, too).

The patch should be uncontroversial, maybe except for the fact that it's importing the `typing` module if annotations are used. This is necessary because of forward references, usage of None as a type, and so on. More importantly, with PEP 563 it's mandatory.
History
Date User Action Args
2017-12-05 21:24:12lukasz.langasetrecipients: + lukasz.langa, rhettinger, yselivanov
2017-12-05 21:24:12lukasz.langasetmessageid: <1512509052.55.0.213398074469.issue32227@psf.upfronthosting.co.za>
2017-12-05 21:24:12lukasz.langalinkissue32227 messages
2017-12-05 21:24:12lukasz.langacreate