Изменения

{{Болванка}}

{{Болванка}}

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

'''Catala'''  — специализированный [[язык программирования]], предназначенный для программной реализации смысла юридических текстов в коде. Он является языком [[Литературное программирование|литературного программирования]] в сфере социально-фискального законодательства.

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

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

 

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

== Ссылки ==

== Ссылки ==