Making law "compile" could be useful in democratizing a process that's entirely dominated by lawyers.

Once a law is in "code form", links, ambiguities, contradictions and loopholes becomes (more) obvious, and extending it with e.g. precedent and opinions is simple. It would also help the legislative process - you propose you change, and everyone can run their test-suite on it, and see if and how they'll be affected.

My first though was the software that the European Union has been developing (I don't know the state of it) that, on the fly, translates what the writer is typing into a intermediate language and back into the writers language - that way ambiguities and idioms are caught immediately. It's not exactly useful for poetry, but should help in creating concise and unambiguous texts, even in just a single language.