Catala: различия между версиями
Перейти к навигации
Перейти к поиску
| Строка 1: | Строка 1: | ||
{{Болванка}} | {{Болванка}} | ||
| − | '''Catala''' — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. | + | '''Catala''' — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. Он является языком [[Литературное программирование|литературного программирования]] в сфере социально-фискального законодательства. |
| − | + | По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. | |
| − | |||
| − | |||
== Ссылки == | == Ссылки == | ||
Версия от 03:04, 14 декабря 2023
|
Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её. |
Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде. Он является языком литературного программирования в сфере социально-фискального законодательства.
По замыслу разработчиков, аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.