[Python-ideas] Type Hinting Kick-off

[Nick Coghlan]

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!

Regards,
Nick.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20141222/ffe6dabe/attachment.html>