Path: csiph.com!usenet.pasdenom.info!weretis.net!feeder1.news.weretis.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed4a.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
MIME-Version: 1.0
In-Reply-To: <CALwzidmW-8YQYBAB5+tbUFY0iB3PVHjyXL2eqL1g43WPVWiETA@mail.gmail.com>
References: <54c07d04$0$13012$c3e8da3$5496439d@news.astraweb.com> <m9rrnd$l8h$1@ger.gmane.org> <CALwzidmZzogxZqLgC8qYHXhseGBEpoFN5cQgL14N_rwyiRU=Jw@mail.gmail.com> <CALwzidmW-8YQYBAB5+tbUFY0iB3PVHjyXL2eqL1g43WPVWiETA@mail.gmail.com>
From: Chris Kaynor <ckaynor@zindagigames.com>
Date: Thu, 22 Jan 2015 14:27:26 -0800
Subject: Re: Python is DOOMED! Again!
To: Python <python-list@python.org>
Content-Type: text/plain; charset=UTF-8
Precedence: list
Newsgroups: comp.lang.python
Message-ID: <mailman.18002.1421965668.18130.python-list@python.org>
Lines: 27
NNTP-Posting-Host: 2001:888:2000:d::a6
Xref: csiph.com comp.lang.python:84284

On Thu, Jan 22, 2015 at 2:12 PM, Ian Kelly <ian.g.kelly@gmail.com> wrote:
>>> def adder(a,b): return a+b
>>>
>>> This is one of the pythonic idioms that help with polymorphic functions.  Is
>>> there a proposal for providing hinting for these?
>>
>> You can use TypeVar for that.
>>
>> T = TypeVar('T')
>>
>> def adder(a: T, b: T) -> T:
>>     return a + b
>>
>> I'm not thrilled about having to actually declare T in this sort of
>> situation, but I don't have a better proposal.
>
> Hmm, but also that hinting doesn't cover cases like adder(12, 37.5)
> where two different types can be passed, and the return type could be
> either. I think for full generality you would just have to forgo
> hinting on this function.

Or use Any, which is basically the same thing:

def adder(a: Any, b: Any) -> Any:
    return a + b

Chris