←back to thread

Catala – Law to Code

(catala-lang.org)
116 points Grognak | 1 comments | 06 Dec 25 22:11 UTC | HN request time: 0.195s | source
Show context
sublinear ◴[07 Dec 25 00:32 UTC] No.46178080[source]▶
> The aim is not to formalise or put into code all the law, because that would make no sense, but we are interested in the law that is already executed automatically, such as the calculation of social benefits, tax or unemployment.

Can anyone explain why it's believed this "would make no sense"?

replies(8): >>46178118 #>>46178209 #>>46178320 #>>46178385 #>>46178481 #>>46179102 #>>46179190 #>>46179304 #
1. pnathan ◴[07 Dec 25 04:40 UTC] No.46179190[source]▶
Commercial law nuts and bolts is very algorithmic often.

Criminal law is often fundamentally subjective, incorporating questions of intent and remorse.