3 ms·

There’s states that are technologically incorrect, like dangling data because of a broken foreign reference - and states that are incorrect for the business. O

There’s states that are technologically incorrect, like dangling data because of a broken foreign reference - and states that are incorrect for the business. Only the former should be represented by and constrained by the type system.

elbear 1y ago
Why not the latter if they present a serious cost for the business?