> I'd rather use a combination of tests and stricter type checking. There's no sense in being a fundamentalist about either approach. Completely agreed. I tend

> I'd rather use a combination of tests and stricter type checking. There's no sense in being a fundamentalist about either approach. Completely agreed. I tend to prefer pragmatic solutions over strict adherence to some methodology. As a sibling comment noted the natural end of specifying everything beforehand would be formal systems, which are usually not worth the effort. On the other hand I don't see "let's just throw everything the compiler could help us with out, because it's a bit more effort" as a sensible strategy.