[Python-ideas] ABC: what about the method arguments ?

[Antoine Pitrou]

On Thu, 23 Sep 2010 14:39:01 -0400
Terry Reedy <tjreedy at udel.edu> wrote:
> If I were writing a class intended to implement an particular ABC, I 
> would be happy to have an automated check function that might catch 
> errors. 100% testing is hard to achieve.

How would an automatic check function solve anything, if you don't test
that the class does what is expected?

Again, this is exactly the argument for compile-time type checking, and
it is routinely pointed out that it is mostly useless.