I think coding the law is not just great, but also the only way forwards. A couple of things:

- Comparing codifying law vs codifying human language/communication in general I think is very unfair. No doubt law is using the form of human written communication but it has structure and it is meant (at least in principle) to be precise. Even if there is some legislation that goes beyond that structure (honestly interested in seeing a few cases) why would we restrict ourselves from codifying all the rest of the legislation? We can have at least part of our law in an executable form, I can't see a drawback with that.

- Just for fun, let's start thinking about the intersection of law binaries and software licences, oh boy! :D