> yes, if you write a purposefully flawed instance of Typeable, you will get errors when you try to use it.
And if you write flawed C, you will also get errors when you try to use it... but I don't think that will get many heads nodding in the camp of static typing zealots.
> And if you write flawed C, you will also get errors when you try to use it..
Errors potentially in completely unrelated parts of the code. Or worse, no detectible errors at all, just silent corruption of data. You parent comment was trying to make this distinction I think, note the emphasis on "code that uses it" in the comment you're replying to.
The idea that static typing is better than any other tool for preventing bugs is a contentious dogma, not essentially different from iPhone vs. Android flame wars - just more intellectualized.
Don't flatter yourself that your position on a matter of hotly-argued opinion is technical and that other positions are not technical.
> yes, if you write a purposefully flawed instance of Typeable, you will get errors when you try to use it.
And if you write flawed C, you will also get errors when you try to use it... but I don't think that will get many heads nodding in the camp of static typing zealots.