там модели тоже можно упростить, достаточно одного серде_ренейм на структуре например

Мой батя ебашит вообще адовый код.
Ну такой вот примерно алгоритм усредненный, потому что вариаций масса.
Берется проект, он пишется на хаскеле, императивщина - это не про моего батю. Он берет, делает пандорический захват и лифтит в монаду. Строит рекурсивную схему, как МОНАДИЧЕСКИЙ ТРАНСФОРМЕР ИЗ КАТЕГОРИИ ЭНДОФУНКТОРОВ! Для этого он предпочитает зигистоморфный препроморфизм. Всё это метациклисески вычисляется  до результата. Потом не дебажится и отправляется в прод. Потом батя запускает и щедро добавив оперативки начинает делать бенчмарки. При этом убивает на машине почти все остальные процессы, кроме инита. Делает бенчмарки и приговаривает полушепотом ух бля. При этом у него на лбу аж пот выступает. Любезно мне иногда предлагает выучить хаскель, но я отказываюсь. Надо ли говорить о том какой дичайший фриз потом? Вонища от перегревшегося процессора такая, что обои от стен отклеиваются

Это как раз нормально

Смотрю чатик фронтендеров. Удивляюсь что кто-то до сих пор GUI делает не по ОО дизайну, а императивным сетапом обработчиков событий (да еще с захардкоженными селекторами) вручную на уже отрисованные элементы.

ну у реактовцев фп вон

ну как фп

На самом деле самое настоящее ООП

Даже если пишут функциями компоненты

где там ооп?

В разбиении программы на компоненты. Суть ООП в объединении данных и исполняемого кода в функциональные кирпичики которые взаимодействуют между собой

ну у компонент не обязательно есть стейт

там же ещё редакс замешивают

который типа функционален в том плане что там иммутабельное деревце и чистые редьюсеры

правда если к этому добавить асинхнронность, то всё равно получится что-то похожее на обычную процедурщину

Алгебраические эффекты, да

ну я что-то ничего алгебраического в реактовских эффектах не увидел если честно

кстати видел, я сделал алгебраические  эффекты для си

редаксовская сага больше похожа

Процедурщина на уровне самого движка ЯП-а в котором уже есть очередь тасков и built-in workers. А также Реакта с его очередью транзакций. И эти глобальные объекты используют уже конкретные сущности.

ну такое