Author gvanrossum
Recipients evan_, flying sheep, gvanrossum, levkivskyi
Date 2017-01-15.22:37:42
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1484519862.67.0.073332534768.issue29262@psf.upfronthosting.co.za>
In-reply-to
Content
Hm, let me back-pedal a bit. The situation with Callable is murky, as e.g. isinstance(typing.Tuple[int, int], typing.Callable) returns True.

Maybe we need to take a step back and look at the needs for code that wants to implement runtime type checking more in general? ISTM we have ways to access the parameters of a parameterized type (typically t.__parameters__) but we don't have a reasonable way yet to determine what kind of thing t is.
History
Date User Action Args
2017-01-15 22:37:42gvanrossumsetrecipients: + gvanrossum, flying sheep, levkivskyi, evan_
2017-01-15 22:37:42gvanrossumsetmessageid: <1484519862.67.0.073332534768.issue29262@psf.upfronthosting.co.za>
2017-01-15 22:37:42gvanrossumlinkissue29262 messages
2017-01-15 22:37:42gvanrossumcreate