Catala: различия между версиями

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

Версия от 02:57, 14 декабря 2023

800px-T64 and pencil.jpg Это незавершённая статья.
Вы можете помочь проекту, исправив и дополнив её.

Catala — специализированный язык программирования, предназначенный для программной реализации смысла юридических текстов в коде.

Catala — это язык программирования, адаптированный для литературного программирования в сфере социально-фискального законодательства.

Аннотируя каждую строку законодательного текста ее значением с точки зрения законодательства, можно получить реализацию сложных социально-фискальных механизмов, которая даст высокий уровень уверенности в соблюдении законодательства при выполнении аннотированного кода языка.