DiscordLiz

Never (And all other bottom types in type systems) is not a subtype of any other type. It is the uninhabited type. I can link to formal type theory as...

I think this is poorly considered in the face of both formal theory and obvious cases where this just allows nonsensical subclasses. It was not possible for users to create...

@tmke8 > So, why does your example seemingly break LSP? It doesn't actually, because you can't actually construct an instance of B! In order to construct an instance of B...

~~Is there someone who can directly transfer this issue from python/mypy to python/typing via github's transfer feature?~~ Thanks Jelle If other type checkers are and have been allowing this and...

> One area of contention is whether the concept called a "bottom type" participates in subtype relationships. It makes logical sense to me that it would given that it satisfies...

@mikeshardmind just a slight clarification for anyone confused, Haskell allows specifying such code but treats the use of it as and impossible to recover from error. This is strictly as...

@eltoder > I think it is hard to argue "python actually follows the set-theoretic definitions for nearly everything". Hopefully mniip doesn't mind this being shared here to make the point...

@mikeshardmind nudged me to put this comment separately rather than in a collapsible section over in discord, but what definition of "subtyping" is used matters here too. The set-theoretic model...

This approach has the same flaw with `__getattr__` that the prior did, it's just hidden differently. You'll want to explore the test case that led to the prior approach falling...

> There is a potential ambiguity in the way that methods with __getattr__ and things that inherit from Any work, but by considering C and D below as different types...