> I don't think a programming language will benefit law in any capacity.

It sounds like your concept of law is rather static. Don't you think human society will eventually start to create "law" that doesn't follow the traditional model of imprecisely expressed statements, expressed in a weird bastardization of natural language?