CatalaLang/catala: Programming language for law specification
Lawyer here.<p>Oh, this again. I suppose this looks relatively harmless, but I'm always wary of "law is like computer code."<p>The impulse to think this can strongly solve any real problem <i>in the law</i> is intuitively attractive, but I strongly predict this mostly never happens; it's the law's job to be intensely practical in the face of hard-edged "computer-like" rules.<p>If anything, you get goofy confusion about what things "are?" My go-to on this is always the "smart contract" -- which can be useful little bits of automated robot money moving code, but emphatically are neither "smart" nor "contracts."