Catala

Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её.

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

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

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