Catala

Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её.

Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде. Он является языком литературного программирования в сфере социально-фискального законодательства.

По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.

Литература

Catala: a programming language for the law. Proceedings of the ACM on Programming Languages Volume 5 Issue ICFP Article No.: 77 pp 1–29 https://doi.org/10.1145/3473582

• Authors:
• ,
• ,

Ссылки

• Официальные репозиторий
• Официальный сайт