Строка 1: |
Строка 1: |
| {{Болванка}} | | {{Болванка}} |
− | '''Catala''' - специализированный язык программирования, предназначенный для программной реализации юридических текстов. | + | '''Catala''' — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. |
| + | |
| + | Catala — это язык программирования, адаптированный для [[Литературное программирование|литературного программирования]] в сфере социально-фискального законодательства. |
| + | |
| + | Аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка. |