3 ms·
Types and tests give completely different assurances. Tests give you assurance that a particular code path works at least some of the time. Types give you assur
by DanWaterworth 14y ago
Types and tests give completely different assurances. Tests give you assurance that a particular code path works at least some of the time. Types give you assurance that an invariant is true all of the time.