Изменения

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

Реклама:

Навигация