CatalaLang/catala: lenguaje de programación para especificaciones legales

• Catala es un lenguaje de programación específico de dominio diseñado para generar algoritmos a partir de textos legales.
• Este lenguaje está ajustado para la programación de leyes sociofiscales, lo que permite implementar mecanismos sociofiscales complejos con un alto nivel de fidelidad entre el código y la ley.
• Este proceso incluye recopilar todas las leyes, órdenes administrativas y casos previos relevantes, y anotar el texto con el significado del código.
• El compilador de Catala puede generar una versión en PDF de la implementación legible para abogados, diseñada para que expertos del dominio, por ejemplo abogados, puedan revisarla y certificar su exactitud.
• La estructura lógica de Catala imita la estructura lógica de la ley y es especialmente adecuada para la programación legal al incorporar la lógica por defecto como una funcionalidad de primera clase.
• Catala está disponible como paquete de opam y se puede instalar en máquinas donde opam esté instalado.
• El lenguaje admite agregar backends personalizados sin modificar el código fuente del compilador de Catala.
• Catala incluye Catleg, una utilidad de línea de comandos que se integra con LégiFrance, el repositorio oficial de documentos legales franceses.
• El lenguaje lleva el nombre de Pierre Catala, profesor de derecho que impulsó la legaltech francesa al crear Juris-Data, una base de datos informática de casos legales.
• Catala es un proyecto de investigación de Inria, el instituto nacional francés de investigación en ciencias de la computación, y actualmente sigue en desarrollo con algunas funciones inestables.

[GN⁺]

Opiniones en Hacker News

• CatalaLang/catala es un lenguaje de programación diseñado para especificaciones legales.
• Los comentaristas expresan entusiasmo por el potencial de este tipo de lenguaje y sugieren que, si las leyes se redactaran en este formato, podría mejorar la comprensión pública.
• El concepto de un lenguaje de programación para leyes fue mencionado en el libro "Moving Mars" de Greg Bear con el nombre de "Legal Logic".
• Algunas personas proponen integrar casos de prueba y model checkers para garantizar la precisión y efectividad de las leyes escritas en este lenguaje.
• Se publicó un artículo académico que explica este lenguaje, y se ofrece un breve resumen en video.
• Algunos comentaristas proponen un formato estandarizado de test suite para las leyes, con el fin de aclarar su intención y evitar malentendidos.
• Hay debate sobre el papel de la ambigüedad en las leyes: algunos sostienen que es fundamental y necesaria, mientras que otros creen que un lenguaje de programación podría ayudar a eliminar ambigüedades no deseadas.
• Algunos usuarios señalan que un lenguaje de programación puede ayudar a comprender el texto legal, pero no serviría para la compleja tarea de ponderar equilibrios, algo que todavía requiere juicio humano.
• También se mencionan otras iniciativas similares, como Logical English, un "lenguaje de programación para el derecho y la ética".
• Se propone el concepto de un sistema de control de versiones para las leyes, que incluya definir objetivos claros en el momento de su creación y establecer restricciones que deban revisarse.