Декларативный стиль программирования — это парадигма, при которой разработчик описывает что должно быть сделано, а не как это нужно делать. Основная идея — сосредоточение на логике задачи, а не на пошаговом описании алгоритма её выполнения. Это противоположность императивному подходу, где указывается последовательность действий, которые должен выполнить компьютер.

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

1. Отсутствие явных циклов и управляющих конструкций
   В декларативных языках часто нет необходимости использовать for, while, if — вместо этого применяются выражения, трансформации коллекций, фильтрации, шаблоны сопоставления и т.д.

2. Отсутствие или минимизация состояния
   Декларативные конструкции стремятся к тому, чтобы не изменять состояние программы во времени, а использовать чистые функции без побочных эффектов.

3. Фокус на том, что нужно получить в результате
   Программист не указывает точные шаги выполнения, а говорит: «я хочу получить список, где каждый элемент — это удвоенное значение исходного», а не «пройди по каждому элементу, умножь его на два и запиши в новый список».

4. Функциональный подход
   Декларативный стиль тесно связан с функциональным программированием. В Elixir, например, он проявляется в использовании Enum.map, Enum.filter, Stream, рекурсии, сопоставления с образцом (pattern matching), а также в отказе от мутабельности и побочных эффектов.

5. Выражения вместо операторов
   Декларативный код часто состоит из цепочек выражений, где каждое выражение возвращает значение, используемое дальше. Яркий пример — оператор |> в Elixir, который последовательно передаёт результат одного выражения в следующее.

Примеры

Императивный подход (на псевдокоде):

result = \[\]
for x in list do
if x > 10 do
result.append(x \* 2)
end
end

Декларативный подход (на Elixir):

result =
list
|> Enum.filter(&(&1 > 10))
|> Enum.map(&(&1 \* 2))

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

Где используется

• SQL — язык декларативный: SELECT * FROM users WHERE age > 18.

• HTML — декларативный: описывает структуру документа, а не то, как он должен быть отрисован пошагово.

• CSS — декларативный: указывает, какие стили применять к элементам, а не как это делать поэтапно.

• Elixir — язык с ярко выраженным декларативным подходом: код строится из выражений, используется pattern matching, нет состояния, упор на чистые функции.

• React (JSX) — декларативный стиль описания интерфейса: указывается, какой компонент как должен выглядеть при каком состоянии.

Преимущества декларативного подхода

• Более читаемый и компактный код

• Меньше ошибок, связанных с состоянием

• Лучшая масштабируемость

• Удобство для автоматической оптимизации и параллелизации

Недостатки и ограничения

• Не всегда очевидно, как отладить или профилировать (всё "спрятано" внутри выражений)

• Меньшая гибкость в выражении нестандартной логики

• Требуется иное мышление и понимание абстракций

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