Реакт - это именно пример ООП, которое слегка сбрызнуто функциональщиной :)

Это если смотреть на React образца года 2017 - без хуков - и забыть, что прототип в недрах Facebook был написан на OCaml. 😉

Явный тренд в разработке React последних пары лет - постепенный отказ от собственно классов и ООП в пользу "функциональных компонент", как они это называют. Становится всё более похоже на Cycle.js (если правильно помню название).

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

Ну и Redux - это же чисто ФПшные map + fold! 😃

Но вообще да, я не смотрел на "новый" реакт как раз примерно года с 2017

Я же говорю - теперь уже компоненты без методов.
А состояние ФП никак не противоречит - ФП тоже пронизано состояниями: аргументы рекурсивных вызовов, захваченные замыканиями значения, протаскивание состояния через возвращаемое значение, которое ещё для удобства можно завернуть в монадический интерфейс и т.д.

насколько я знаю, в ФП принято избегать мутабельного состояния

Ага. В React теперь тоже. 😃

а чистые функции - действительно очень удобная концепция, в рамках которой гораздо приятнее писать на практически любом языке, будь то самая заядлая императивная оопщина, но js/ts никак не помогают ее соблюдать

Ну, то есть "под капотом" оно может быть мутабельным и там, и там, но "интерфейс" как к немутабельному.

Да кроме Haskell и откровенно зав. типовых языков никто не помогает её соблюдать, так что что уж говорить...

А всякие там elm / purescript?

Да, OK - про этих забыл. 😊

В embedded, конечно, есть реализации ФЯ, но погоды это не делает. Мне кажется, в какой-то момент полезно перейти от уровня парадигм программирования к формализмам и моделям из предметной области. При этом не вижу особой пользы в привязывании этих моделей и формализмов к конкретным ООП и ФП. Зачем ставить эти самые ФП и Ко во главу угла при формализации практических задач? Это часто затеняет, усложняет изначально простые понятия и подходы.

Раз уж речь пошла о встраиваемых системах, давайте откроем один из солидных учебников -- Embedded System Design Питера Марведеля. Там есть очень хороший раздел на тему спецификаций и моделей. Никакого ФП нет просто потому, что речь идет о конкретной предметной области. Реплика в духе "а в ФП тоже можно" -- специалистов из этой области совершенно не удовлетворит :)

Да есть такая тенденция в React. Вообще я для себя кажется вывел идеальный баланс: императившина для низкоуровневых сущностей и функциональшина для высокоуровневых.

кстати говоря об абстракциях - а разве ФП-языки могут обходиться без сборщика мусора?

Потому что та же хэш таблица  например на чистом FP в 50 раз медленее аналогичной в императивном стиле

линейные в принципе могут

но там надо копаться, не все нужные механизмы ещё до ума довели