CatalaLang/catala: Programmiersprache für die Spezifikation von Gesetzen

• Catala ist eine domänenspezifische Programmiersprache, die dafür entwickelt wurde, Algorithmen aus Gesetzestexten zu erzeugen.
• Die Sprache ist für die Programmierung sozial- und finanzrechtlicher Vorschriften optimiert und ermöglicht die Umsetzung komplexer sozial- und finanzrechtlicher Mechanismen mit hoher Treue zwischen Code und Gesetz.
• Dieser Prozess umfasst das Sammeln aller relevanten Gesetze, Verordnungen und Präzedenzfälle sowie das Annotieren der Texte mit der Bedeutung des Codes.
• Der Catala-Compiler kann eine für Juristen lesbare PDF-Version der Implementierung erzeugen, die so gestaltet ist, dass Fachexperten aus dem jeweiligen Bereich, etwa Anwälte, sie prüfen und als korrekt zertifizieren können.
• Die logische Struktur von Catala bildet die logische Struktur von Gesetzen nach und ist durch die Einbettung zugrunde liegender Logik als First-Class-Feature in besonderer Weise für die Programmierung von Gesetzen geeignet.
• Catala ist als opam-Paket verfügbar und kann auf Rechnern mit installiertem opam installiert werden.
• Die Sprache unterstützt das Hinzufügen benutzerdefinierter Backends, ohne den Quellcode des Catala-Compilers ändern zu müssen.
• Catala enthält Catleg, ein Kommandozeilen-Utility zur Integration mit LégiFrance, dem offiziellen Repository für französische Rechtsdokumente.
• Die Sprache ist nach Pierre Catala benannt, einem Jura-Professor, der mit Juris-Data eine Computerdatenbank für Rechtsfälle schuf und damit die französische Legal-Tech voranbrachte.
• Catala ist ein Forschungsprojekt von Inria, dem französischen nationalen Forschungsinstitut für Informatik, und befindet sich derzeit noch in Entwicklung, wobei einige Funktionen instabil sind.

[GN⁺]

Hacker-News-Kommentare

• CatalaLang/catala ist eine Programmiersprache, die für die Spezifikation von Gesetzen entwickelt wurde.
• Die Kommentierenden äußern Begeisterung über das Potenzial einer solchen Sprache und schlagen vor, dass Gesetze, wenn sie in diesem Format geschrieben würden, das öffentliche Verständnis verbessern könnten.
• Das Konzept einer Programmiersprache für Gesetze wurde in Greg Bears Buch "Moving Mars" unter dem Namen "Legal Logic" erwähnt.
• Einige schlagen die Integration von Testfällen und Model Checkern vor, um die Genauigkeit und Wirksamkeit von in dieser Sprache geschriebenen Gesetzen sicherzustellen.
• Es wurde ein Paper veröffentlicht, das diese Sprache beschreibt, und eine kurze Videozusammenfassung wird bereitgestellt.
• Einige Kommentierende schlagen ein standardisiertes Test-Suite-Format für Gesetze vor, um die Absicht von Gesetzen zu verdeutlichen und Missverständnisse zu vermeiden.
• Über die Rolle von Mehrdeutigkeit in Gesetzen wird diskutiert: Einige argumentieren, dass Mehrdeutigkeit grundlegend und notwendig ist, während andere glauben, dass Programmiersprachen helfen könnten, unerwünschte Mehrdeutigkeit zu beseitigen.
• Einige Nutzer weisen darauf hin, dass eine Programmiersprache zwar beim Verständnis von Gesetzestexten helfen kann, aber nicht bei komplexen Abwägungen, für die weiterhin menschliches Urteilsvermögen erforderlich ist.
• Erwähnt werden auch andere ähnliche Initiativen wie Logical English, also eine "Programmiersprache für Recht und Ethik".
• Vorgeschlagen wird zudem das Konzept eines Versionsverwaltungssystems für Gesetze, einschließlich der Definition klarer Ziele zum Zeitpunkt ihrer Ausarbeitung und der Festlegung von Einschränkungen, die überprüft werden müssen.