3 ms·
A test suite often ends up acting as an ad-hoc, informally specified, buggy, slow implementation of half a static type system yes.
by lmm 2y ago
A test suite often ends up acting as an ad-hoc, informally specified, buggy, slow implementation of half a static type system yes.
- phoronixrly 1y agoI mean sure, if your test suite does fuzzing, then I guess so. Most test suites focus on higher level stuff like behaviours and entire features these days. This is instead of testing in isolation the technicalities like the signatures of functions and what happens if you pass a null here or there.
- lmm 1y agoThe same applies to type systems these days - you don't just express basics like nullable or not, you build high level business concerns into your types.