Catala: различия между версиями
| Строка 5: | Строка 5: | ||
Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]]. | Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]]. | ||
| + | |||
| + | == Пример использования == | ||
| + | Catala аннотирует законодательные тексты с помощью их перевода в код. Вот краткий пример из Налогового кодекса США: | ||
== Литература == | == Литература == | ||
Версия от 19:45, 23 декабря 2023
|
Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её. |
Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде. Он является языком литературного программирования, предназначенного для решения задач в сфере практической реализации социального и фискального законодательства. Catala разработан в INRIA, ключевые компоненты его компилятора формально верифицированы с использованием языка F*.
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.
Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов статутного права.
Пример использования
Catala аннотирует законодательные тексты с помощью их перевода в код. Вот краткий пример из Налогового кодекса США: