## Catala：法律到代码 - 摘要 Catala项目旨在将法律文本，特别是税法和基于公式的法律，翻译成一种正式的、可编程的语言。目标是实现精确性和自动化执行，与法官和政治家对法律经常进行模糊解释形成对比。 讨论的中心在于这种精确性是否*可取*，因为法律解释有时有意保持灵活性。人们担心将法律形式化会集中立法机关的权力并消除司法酌处权。然而，支持者认为它非常适合涉及计算的领域，能够提供清晰度和减少错误。 该项目的可行性取决于解决诸如纳入不断演变的案例法和解释语言中固有歧义等挑战。有些人将其与智能合约相提并论，而另一些人则质疑将主观法律概念（如意图）进行数学建模的可行性。一个关键点是令人遗憾的命名选择，可能会与加泰兰语混淆。尽管存在这些障碍，Catala代表了一种将计算机科学和法律相结合的新尝试，在特定法律领域具有提高效率和透明度的潜力。