CatalaLang/catala: uma linguagem de programação para especificações jurídicas

• Catala é uma linguagem de programação específica de domínio projetada para gerar algoritmos a partir de textos jurídicos.
• A linguagem foi ajustada para ser adequada à programação de leis sociofiscais, permitindo implementar mecanismos sociofiscais complexos com um alto nível de fidelidade entre código e legislação.
• Esse processo inclui coletar todas as leis relevantes, decretos administrativos e precedentes anteriores, além de anotar o texto com a semântica do código.
• O compilador do Catala pode gerar uma versão em PDF da implementação legível por advogados, projetada para que especialistas do domínio, como advogados, possam revisá-la e certificá-la como correta.
• A estrutura lógica do Catala imita a estrutura lógica da legislação e é especialmente adequada à programação jurídica ao incorporar a lógica padrão como funcionalidade de primeira classe.
• Catala é fornecida como um pacote opam e pode ser instalada em máquinas com o opam instalado.
• A linguagem oferece suporte à adição de backends personalizados sem modificar o código-fonte do compilador do Catala.
• Catala inclui o Catleg, um utilitário de linha de comando que se integra ao LégiFrance, o repositório oficial de documentos jurídicos da França.
• A linguagem recebeu esse nome em homenagem a Pierre Catala, professor de direito que liderou a legaltech francesa ao criar o Juris-Data, um banco de dados computacional de casos jurídicos.
• Catala é um projeto de pesquisa da Inria, o instituto nacional francês de pesquisa em ciência da computação, e atualmente está em desenvolvimento com alguns recursos ainda instáveis.

[GN⁺]

Comentários no Hacker News

• CatalaLang/catala é uma linguagem de programação projetada para especificações jurídicas.
• Os comentaristas expressam entusiasmo com o potencial desse tipo de linguagem e sugerem que, se as leis fossem escritas nesse formato, isso poderia melhorar a compreensão pública.
• O conceito de uma linguagem de programação para leis foi mencionado no livro "Moving Mars", de Greg Bear, com o nome de "Legal Logic".
• Alguns sugerem a integração de casos de teste e model checkers para garantir a precisão e a eficácia das leis escritas nessa linguagem.
• Foi publicado um artigo explicando a linguagem, e um breve resumo em vídeo também é disponibilizado.
• Alguns comentaristas propõem um formato padronizado de suíte de testes para leis, a fim de esclarecer a intenção da legislação e evitar interpretações equivocadas.
• Há debate sobre o papel da ambiguidade no direito: alguns argumentam que ela é fundamental e necessária, enquanto outros acreditam que linguagens de programação podem ajudar a eliminar ambiguidades indesejadas.
• Alguns usuários apontam que linguagens de programação podem ajudar na compreensão de textos legais, mas não em tarefas complexas de ponderação de interesses, que ainda exigem julgamento humano.
• Outras iniciativas semelhantes também são mencionadas, como o Logical English, uma "linguagem de programação para direito e ética".
• Foi proposta a ideia de um sistema de controle de versão para leis, incluindo a definição clara de objetivos no momento de sua criação e o estabelecimento de restrições que devem ser revisadas.