3 ms·

I find that strict type systems are good for 'locking down' execution space and sanity checking but they're not effective at cleanly specifying higher level ver

I find that strict type systems are good for 'locking down' execution space and sanity checking but they're not effective at cleanly specifying higher level verification even when that's possible. I'd rather use a combination of tests and stricter type checking. There's no sense in being a fundamentalist about either approach.

sgift 9y ago
> 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.