Функциональные вообще довольно сложные для восприятия.

Основная идея -- что объекты неизменны. Напрочь. А изменение получается созданием нового из данных существующего.

Вторая идея -- что программы тоже есть объекты. В натуре. Так же, как есть неназванные объекты, могут существовать неназванные (и вообще толко что созданные) программы. И мы их можем применять к существующим данным (а можем и формально комбинировать - то есть создавать новые программы, комбинируя и анализируя существующие).

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

Тема очень глубока. Я читал и классический Лисп одного финна, и стогий компромисс ГайСтила, и полупроцедурный бред от Столмэна, и знаменитую по Прологу от Ивана Братко, и смежные, полуСмолтоковую, переводную с японского -- про смолток-процессор Катану, и работы японцев, особенно ?Джона, что ли, Шапиро 1985 года по параллельному Прологу, и борландовский ужас около Пролога, и полуалгебраический труд по лямбда-функциям, их замыкании, классах и замыкании классов. По плэннеру вроде припоминаю книжку 1978 вроде года, эдакий недолисп с загнутыми пальцами кортежей.

Обращайтесь. Здесь.