Ggg_oldНарод, уже долгое время пытаюсь понять в чем суть и фишка направления под названием "функциональное программирование".
В общем просьба объяснить простым языком, в чем соль, ради чего это все надо и где зарыт профит.
Элементы функциональных языков. Евгений Кирпичёв
Новые слова, ответы зачем? и почему?

По тексту.
Лямбда-исчисление. Зачем?
В каком-то классе школы (я в третьем) мы изучали уравнения и было такое правило "иксы в левую часть уравнения, остальное в правую". С помощью такого нехитрого способа можно решать псевдологичекие задачки типа "Ваня старше Маши в 2 раза а Егор младше Вани на 15 лет". Беря такю аналогию, можно сказать лямбда-исчисление позволяет представить алгоритм в виде уравнения, которое с помощью алгебры можно упрощать, анализировать и преобразовывать.
Карринг.
Взмем функцию сложения двух чисел
(+ x y)
Но выдадим ей один аргумент
(funcall #'+ 5)
Если ЯП поддерживает карринг то мы получим частично примененую функцию
(+5 y)
которая будет складывать y и 5.
Циклы.
Циклы примерно равно "хвостовая рекурсия".
Не циклы потому, что если избавились от переменных то зачем нам переменные цикла?
Хотя сам процесс итерирования может иметь место.

Сама фраза "преимущество решения задач в ФП-стиле перед императивным способом" в отрыве от контекста несколько бессмыслена.
Вот императивный бэйсик
[code]
a = 2
b = 3
c = a + b
[code]

вот
[+ a b]
Просто мир императивной парадигмы сейчас включают в себя наряду с переменными, классы, объекты, паттерны, модели и ddd.
А из функционального вводные статьи дают только лямбда-термы и рекурси. Почитай приведенную статью это несколько расширит рамки разговора. Или про Лисп, но серьезно.

Связь ФЯ с декларативностью.
Прямой связи нет, но "комбинаторы и бесточечный стиль". Вобще все зависит от точки зрения, я когда sql смотрю вижу функции select, update и create , замыкающие БД, и попробуй доказать что это не так.
P. S. А вобще на этом форуме тема почти бессмысленая.