&gt;I mean, what would go a long way is manufacturing a programming language to write laws in, so we could lint and compile time warn&#x2F;error laws.<p>Laws are more like requirements than computer code. Almost every part of them is subject to interpretation.<p>On the few occasions where computer code <i>has</i> actually been treated as law (MERS, for instance), the result hasn&#x27;t worked out so well.