Гифку своих результатов нашел

React.createElement по всем usage признакам монада, а с хуками он почти чистым стал (если не считать пользовательского кода)

Если бы он был реализован через настоящую идеоматическую монаду то не было бы проблемы что на хуках может работать только один инстанс реакта

Со всем этим я согласен. Я когда про хуки узнал, когда - первая мысль была, что это очень похоже на State, но это просто же какие-то ФП-inspired штуки (и то, с нашей точки зрения). Повторюсь, что Дэн Абрамов писал, что не в курсе никаких монад. Это просто решение проблемы передачи состояния.

А как State работает?

Ты же про хаскельный?

State это s -> a -> (s, a). хуки к нему точно как-то относятся?

Это редакс)

Везде какие-то сложные описания того как работают хуки, хотя на деле они работают не очень сложно

Там единственная хитрость в том, что функторы хуков живут только в фазе рендера

Есть некоторый глобальный диспатчер хуков, который до очередного рендера пустой. Когда дёргается рендер он заполняется функторами хуков, которые конкретные вызовы в компонентах дёргают, таким образом у тебя стейт, локальный для конкретного рендера попадает в хук. При этом лежат они там в виде линкед листа чтобы гарантировать последовательное выполнение (это ключевая причина по которым нельзя состав хуков менять). Это такое глобальное замыкание получается, но мы то знаем что на деле это распаковка значения из контекста монады :)

Лежит он там в виде линкед листа очевидно потому что это единственный способ сравнить предыдущее и текущее значение. У хука нет референса, все что мы знаем про него это то, какой он был по порядку во время рендера всего дерева компонентов

а что такое функтор?

Из чего же, из чего же, из чего же
Сделаны наши монады

не все носят эту терминологию с собой

Да я сама только въезжаю, просто шуточка

сколько я читал простыней про монады, всё понятно, но в голове надолго не задерживается 😊

Интересно кто писал доку crux? @spacegangster

        [{:crux.db/id :ivan :name "Ivan"}
         {:crux.db/id :petr :name "Petr"}
         {:crux.db/id :sergei :name "Sergei"}
         {:crux.db/id :denis-a :name "Denis"}
         {:crux.db/id :denis-b :name "Denis"}]