GN⁺: CatalaLang/catala: 법률 명세를 위한 프로그래밍 언어

• Catala는 법률 텍스트에서 알고리즘을 생성하기 위해 설계된 도메인 특화 프로그래밍 언어입니다.
• 이 언어는 사회-재정 법률 프로그래밍에 적합하게 조정되어 복잡한 사회-재정 메커니즘을 코드-법률 충실도가 높은 수준으로 구현할 수 있습니다.
• 이 과정은 모든 관련 법률, 행정명령, 이전 사례를 수집하고, 텍스트를 코드의 의미로 주석 처리하는 것을 포함합니다.
• Catala 컴파일러는 도메인 전문가들, 예를 들어 변호사들이 검토하고 정확하다고 인증할 수 있도록 설계된 변호사가 읽을 수 있는 PDF 버전의 구현을 생성할 수 있습니다.
• Catala의 논리적 구조는 법률의 논리적 구조를 모방하며, 기본 논리를 일급 기능으로 임베딩함으로써 법률 프로그래밍에 독특하게 적합합니다.
• Catala는 opam 패키지로 제공되며 opam이 설치된 기계에서 설치할 수 있습니다.
• 이 언어는 Catala 컴파일러의 소스 코드를 수정하지 않고도 사용자 정의 백엔드를 추가하는 것을 지원합니다.
• Catala에는 LégiFrance, 프랑스 법률 문서의 공식 저장소와 통합하는 명령 줄 유틸리티인 Catleg가 포함되어 있습니다.
• 이 언어는 법률 사례의 컴퓨터 데이터베이스인 Juris-Data를 만들어 프랑스 법률테크를 선도한 법학 교수인 Pierre Catala의 이름을 따서 명명되었습니다.
• Catala는 프랑스 국립 컴퓨터 과학 연구소인 Inria의 연구 프로젝트로, 현재 일부 기능이 불안정한 상태로 개발 중입니다.

[neo]

Hacker News 의견

• CatalaLang/catala는 법률 명세를 위해 설계된 프로그래밍 언어입니다.
• 댓글러들은 이러한 언어의 잠재력에 대해 흥분을 표현하며, 법률이 이 형식으로 작성된다면 공중 이해도를 향상시킬 수 있을 것이라 제안합니다.
• 법률을 위한 프로그래밍 언어 개념은 Greg Bear의 "Moving Mars"라는 책에서 "Legal Logic"라는 이름으로 언급되었습니다.
• 일부는 테스트 케이스와 모델 체커의 통합을 제안하여 이 언어로 작성된 법률의 정확성과 효과성을 보장합니다.
• 이 언어를 설명하는 논문이 발행되었으며, 짧은 비디오 요약이 제공됩니다.
• 일부 댓글러들은 법률의 의도를 명확히 하고 오해를 방지하기 위해 법률에 대한 표준화된 테스트 스위트 형식을 제안합니다.
• 법률에서 모호성의 역할에 대한 논쟁이 있으며, 일부는 모호성이 근본적이고 필요하다고 주장하는 반면, 다른 일부는 프로그래밍 언어가 원치 않는 모호성을 제거하는 데 도움이 될 수 있다고 믿습니다.
• 일부 사용자들은 프로그래밍 언어가 법률 텍스트의 이해에 도움이 될 수 있지만, 균형을 따지는 복잡한 작업에는 도움이 되지 않으며, 이는 여전히 인간의 판단력이 필요하다고 지적합니다.
• Logical English와 같은 다른 유사한 이니셔티브, 즉 "법률과 윤리를 위한 프로그래밍 언어"도 언급됩니다.
• 법률에 대한 버전 관리 시스템 개념이 제안되었으며, 법률의 창출 시점에 명확한 목표를 정의하고 검토해야 하는 제약 조건을 설정하는 것을 포함합니다.