Eugene Toder

@tmke8 >So, why does your example seemingly break LSP? It doesn't actually, because you can't actually construct an instance of B! I think it is debatable whether constructing an instance...

@tmke8 >if you call B.foo through the interface of A, the program will just crash, but it is not the case that a variable that was declared as int now...

@mikeshardmind I think it is hard to argue "python actually follows the set-theoretic definitions for nearly everything". The typing PEPs are generally not precise enough, so mypy is used as...

@mikeshardmind >For example, Haskell and Rust's definitions both match more closely to what is described in this issue than what type checkers are currently doing. Not really. Haskell allows `undefined`...

@jendrikseipp That sounds like an even bigger problem :-) Adding scope information should improve the accuracy quite a bit. Python scoping rules are not very complicated.

Детский мат воспроизводит ту же проблему: e2 e4 f1 c4 d1 f3 f3 f7 -- мат. король отступает съедая своего же ферзя f7 f8 -- мат. король съедает слона f8...

@sshane can you simply define `__init_subclass__` on your class?

What would you expect to happen? What value should `self.X` be in `SubClass`?

@wolever I think the cleanest way to solve this is to change the API of `@parameterized_class` and ask users to *not* inherit the decorated class from `unittest.TestCase`. parameterized_class will add...

This is how floating point numbers work. You can try yourself in psql ```sql => select 45.542154::real::double precision; float8 -------------------- 45.542152404785156 (1 row) ``` You get the same result with...