3 ms·
> The notion of an invariant is not part of their toolbox, and the exercise of modeling a domain is not something they really engage in Because this is not wha
by zzzcpan 8y ago
> The notion of an invariant is not part of their toolbox, and the exercise of modeling a domain is not something they really engage in
Because this is not what writing software is about. Ultimately it is about trying ideas out, where the notion of an invariant doesn't have a place. Why do you believe it should?