4 ms·
I don't think this is the same as "make illegal states unrepresentable"; it's a corollary (or the converse maybe): "Make assertions of legal states representab
by b3morales 5y ago
I don't think this is the same as "make illegal states unrepresentable"; it's a corollary (or the converse maybe):
"Make assertions of legal states representable"
- joshuamorton 5y agoThey're sort of the same. If you have str and safestr, and safestr is known to confiorm to some invariant, the illegal state of a, say str where validate hasn't been called, isn't representable.