Is There a Reductio Ad Absurd?

If you are writing code in a functional language, it's not something that you would ever really think about. The basic idea here is that if you have an interface, and you have a subclass or a subtype, then the behavior of those subtypes should be indistinguishable. "It was just went, oh, and we have to be absurd," he says. 'That description and all descriptions like that are inherently extraordinarily confusing'