Catala:用于法律的编程语言

21-05-06 banq

法律是现代社会的基础,编纂和管理公民日常生活的许多方面。通常,法律在各个法院和司法管辖区都受到解释、辩论和质疑。但在其他一些领域,法律几乎没有解释的余地,其实质目的是严格描述计算、决策程序,或简单地说,就是算法。(banq:法律也是一种遵循逻辑的语言体系)

但是法律由于缺乏真正形式逻辑推演由此留下了模糊的空间;法律法规的结构,许多段落和小节分散在多个页面上,这使得很难计算出指定某段文本基础算法的预期结果;与任何其他指定不当的关键软件一样,法律语言这种非形式语言的使用使得一些零碎角落案例得不到解决。

我们引入了catala,这是一种我们专门设计的新编程语言,旨在将成文法直接和系统地翻译成可执行实现。旨在通过共享媒体将律师和程序员聚集在一起,他们可以一起理解、编辑和发展,弥合经常导致法律实施严重错误的差距。

猜你喜欢