[Python-ideas] Type Hinting Kick-off
ncoghlan at gmail.com
Mon Dec 22 13:28:55 CET 2014
On 22 Dec 2014 17:02, "Guido van Rossum" <guido at python.org> wrote:
> Also, consider the important difference between Any and object. They are
both at the top of the class tree -- but object has *no* operations (well,
almost none -- it has repr() and a few others), while Any supports *all*
operations (in the sense of "is allowed by the type system/checker").
Ah, this was the key piece I had missed, both from your article and
Jeremy's: since Any conceptually allows all operations, with a result of
Any, there's no need to separately represent "callable that permits
arbitrary arguments, returning a result of unknown type". Very nice!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Python-ideas