And people are constantly asking for things that are already laws - we need to actually enforce our laws so that bad ones can be removed also in my opinion.

As opposed to the current system where people agitate for new laws to exploit them for economic gain!

I'd like unit tests too. Done in TDD fashion by the creators of the law, not the ad-hoc edge case finding of the precedent system.

This is why Programmers shouldn't be legislatures

/s but sort of no /s

Laws aren't clean enough for diffs.

refactoring isn't a bad idea but is quite difficult.

Laws aren't written and can't be written as exactly specified specs.

Laws are written to be interpreted loosely by human judges and applied to a bunch of difficult real world messiness. Not clearly defined interfaces and types.