Hacker News Reader

Then why not write the contracts in prolog?

Right? Or a domain specific language for law: https://github.com/CatalaLang/catala

I get that dislodging docx is an impossible job, but since docx is a terrible format for anything, it needs to be done for all the reasons the author mentions. The codes that run society should not be locked up in bad proprietary formats.

> The codes that run society

This discussion is about contracts, not legal codes. I agree with your statement, but decades now of people on Slashdot being unable to differentiate copyright and patent has made me this way, where anyone potentially mixing up legal concepts has me triggered and jumping down their throat.

Contracts do run society, along with legal codes that are written in much the same manner, by the same body of experts.

Moreover, the law literally says that contracts are considered as laws but only applicable to co-contractants (at least in France it's written like that). So it's the same thing, just with a different scope and precedence on the hierarchy of norms.

Reply on news.ycombinator.com