Whole-known-network
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@tintvrtkovic" class="u-url mention">@<span>tintvrtkovic</span></a></span> What would you expect to happen if you specify the type as foo, but call methods that only the subclass bar got? object is the base of everything, so why should it be handled differently?</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@tintvrtkovic" class="u-url mention">@<span>tintvrtkovic</span></a></span> Although I get it, I'm still unreasonably grumpy about it. Harumph.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@tintvrtkovic" class="u-url mention">@<span>tintvrtkovic</span></a></span> sounds like a bug in the type checker.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> Since we're talking types I was assuming a type checker would be involved somehow. They will complain if you call `foo` on an `object`, but not on an `Any`.</p>
<p><span class="h-card" translate="no"><a href="https://scholar.social/@cthoyt" class="u-url mention">@<span>cthoyt</span></a></span> No joke, I will absolutely do that if they're not going to put Any in the builtins.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> JavaScript PTSD maybe?</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@tintvrtkovic" class="u-url mention">@<span>tintvrtkovic</span></a></span> I don't follow. I can call a method on anything I want. It's Python.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> just the Typing Man trying to keep you down.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> You can't call arbitrary methods on `object` ("object has no attribute foo"), you can on `Any`.</p>