Catala: различия между версиями
| Строка 6: | Строка 6: | ||
Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]]. | Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов [[Статутное право|статутного права]]. | ||
| − | == Пример использования == | + | ៛== Пример использования == |
Catala аннотирует законодательные тексты с помощью их перевода в код. Вот краткий пример из Налогового кодекса США: | Catala аннотирует законодательные тексты с помощью их перевода в код. Вот краткий пример из Налогового кодекса США: | ||
| + | |||
| + | Section 132 - (c) Qualified employee discount defined - (1) Qualified employee discount | ||
| + | |||
| + | The term “qualified employee discount” means any employee discount with respect to qualified property or services to the extent such discount does not exceed— | ||
| + | |||
| + | (A) in the case of property, the gross profit percentage of the price at which the property is being offered by the employer to customers | ||
== Литература == | == Литература == | ||
Версия от 19:46, 23 декабря 2023
|
Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её. |
Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде. Он является языком литературного программирования, предназначенного для решения задач в сфере практической реализации социального и фискального законодательства. Catala разработан в INRIA, ключевые компоненты его компилятора формально верифицированы с использованием языка F*.
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.
Catala позволяет выражать общую логику случаев/исключений, характерную для нормативно-правовых документов статутного права.
៛== Пример использования == Catala аннотирует законодательные тексты с помощью их перевода в код. Вот краткий пример из Налогового кодекса США:
Section 132 - (c) Qualified employee discount defined - (1) Qualified employee discount
The term “qualified employee discount” means any employee discount with respect to qualified property or services to the extent such discount does not exceed—
(A) in the case of property, the gross profit percentage of the price at which the property is being offered by the employer to customers