Catala: различия между версиями
Перейти к навигации
Перейти к поиску
| Строка 5: | Строка 5: | ||
Аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. | Аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. | ||
| + | |||
| + | == Ссылки == | ||
| + | |||
| + | * [https://github.com/CatalaLang/ Официальные репозиторий] | ||
| + | * [https://catala-lang.org/ Официальный сайт] | ||
Версия от 03:03, 14 декабря 2023
|
Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её. |
Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде.
Catala — это язык программирования, адаптированный для литературного программирования в сфере социально-фискального законодательства.
Аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.