ФП парадигма сильно отличается от процедурно-ООП подхода, и это так сразу наверное и не объяснить в двух словах. Но одна из попыток это сделать была бы такая:

Центральным инструментом становится функция, если в процедурном и ООП она была довольно простой штукой, то в ФП она раскрывается сильнее в деталях, мы начинаем обращать внимание на то что может быть в её теле, чистоту, возможности частичного применения, каррирование, полноту и прочее. Функции и их различные свойтства еще раз.

Появляется понятие эффектов и ссылочной прозрачности. Мы учимся разделять чисто математические (детерминированные) выражения и выражения с задействованием внешних переменных (баз данных, файлов, случайных чисел).

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

Нашей основной заботой становится написание композируемых, то есть хорошо стыкуемых элементов (типов, функций). Композиция.

В целом мы более строго подходим к написанию и проектированию кода.

А как ты его понимаешь, собственно?

не ‘ленивы' ли функции по умолчанию? они ж не вычислятся пока ты их не применишь

ну да, мы можем "моделировать" ленивые вычисления функциями, либо free структурами, по сути композируя выражения оставляя редукцию на потом

Например, если тебе нужно применить функцию fn(a), A => Either[Throwable, B] к результату предыдущего ее вызова несколько раз с сохранением результата каждого применения, fn( fn( fn (a))), монада позволяет сохранить все результаты и ошибки, которые возвращались при каждом из этих вызовов

не совсем так, хоть это и можно сделать с монадой, но не это её определяет

Вдогонку: а в чем именно сложности писания на Скале (в функциональной манере) после ООП языков, что это так сложно?

грубо монада это такая структура, состоящая из тройки

типа монады: F
unit: A => F[A]
join: F[F[A]] => F[A]

где unit позволяет создать монаду, а join избавиться от вложенности

пример монады:

тип : List
unit : List(1)
join: List::flatten

Забыть о мутабилити