Декларативные языки программирования описывают, что нужно сделать, а не как именно это сделать. Они фокусируются на описании желаемого результата.

Некоторые известные декларативные языки и технологии:

SQL — язык запросов к базам данных, где описывается, какие данные нужны, а не как их получить.
HTML — язык разметки, описывающий структуру веб-страницы.
CSS — описывает стили для элементов, без указания алгоритмов применения.
Prolog — язык логического программирования, где задаются факты и правила.
Haskell — функциональный язык программирования с декларативным стилем.

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

Можешь ли ты назвать декларативные языки программирования, которые тебе знакомы?