CatalaLang/catala: Programming language for law specification
Lawyer here.Oh, this again. I suppose this looks relatively harmless, but I'm always wary of "law is like computer code."The impulse to think this can strongly solve any real problem in the law 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.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."