А, это. Справедливо, про чистые функции нужно было держать в голове.
Что же до мутации состояния - стоит лишь раз застрелить себя в ногу этой мутацией, как сразу понимаешь преимущества немутируемых сущностей, так что это легко

Хотя в целом вопрос был про то, на что самому обращать внимание, если переходишь

Можно почитать https://www.google.com/url?sa=t&source=web&rct=j&url=https://www.manning.com/books/functional-programming-in-scala&ved=2ahUKEwid2PWI_OPqAhXNxIsKHTeqBnMQFjAGegQIBRAB&usg=AOvVaw3ANUxGpeNeWIYm_S9P5rQK&cshid=1595527774637

Спасибо, уже. Некоторые моменты, впрочем, не совсем понятны, но это перечитать надо

это какие?

Моноиды и монады. Я понимаю, для чего чаще всего используются монады, но к концепции он подходил слишком долго, не люблю так

Лучше бы начал с определения, а потом уже приводил пример

это оч спорно

Но это дело вкуса, но из-за этого пока дошли до сути, я забыл, с чего он начинал

Да, часто лучше постепенно объяснять

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

вот это сложно

Но я не уверен, что мне понятен концепт монад

Ну моноид - достаточно простой для понимания объект, а монада - великий камень преткновения, про который точно понятно только что это не контейнер))

Навалить их всех в конструктор главного актора, как я сделал, например )))

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

Ибо времени не было на изучение того, как можно DI по людски сделать

В прод я бы такое, впрочем, не заливал

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

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

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

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

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

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