[Python-ideas] Type Hinting Kick-off

[Guido van Rossum]

On Wed, Dec 24, 2014 at 3:22 PM, Eugene Toder <eltoder at gmail.com> wrote:

>
> On Monday, December 22, 2014 2:03:28 AM UTC-5, Guido van Rossum wrote:
>>
>> This places Any also at the *bottom* of the class tree, if you can call
>> it that. (And hence it is more a graph than a tree -- but if you remove
>> Any, what's left is a tree again.)
>>
> I may be misunderstanding the context, but since Python has multiple
> inheritance, the "class tree" was already a graph even without Any.
>

Thanks, that was a simple "thinko". I meant that without Any (and perhaps
barring some other pathological cases due to Python's extreme malleability)
it's a DAG, but with Any it has a cycle. I've also updated the Quip doc to
speak of "class graph".

-- 
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20141224/d5f31f7c/attachment-0001.html>