оо, тянуть фри-монады всякие ради примитивных редьюсеров я не хочу)

и диспатч классный)

{-# LANGUAGE DataKinds, FlexibleContexts, TemplateHaskell, DuplicateRecordFields #-} module Main where import Control.Lens import Control.Lens.TH import Data.Char (toUpper) import Control.Monad import Control.Applicative data B = B {_a:: String, _b:: String} deriving Show data A = A {_a:: B, _b:: B, _c:: B} deriving Show makeLenses ''A makeLensesFor [("_a", "a1"), ("_b", "b1")] ''B x = A (B "Test" "Test2") (B "Test" "Test2") (B "Test" "Test2") vc2 = liftA2(>=>) vc3 = liftA3(\x y z -> x >=> y >=> z) over (vc3 (a . vc2 a1 b1) (b . vc2 a1 b1) (c . vc2 a1 b1)) (map toUpper) x вот

так, попробовал интегрировать пурсу в редакс-проект. Какие подвнодные камни: 1. в пурсе все бинарные и выше функции транслируются во вложенные функции, что логично, но из-за этого нужно каждые редьюсеры оборачивать в uncurryN(2, reducer), uncurryN из рамды 2. нужно писать те же экшон-креаторы для жс-кода, потому что работать без них в жс с конструкторами пурсы сложно 3. редакс в редьюсеры посылает @@redux/INIT, обработать его из пурсы не получится, а без обработки там ошибка будет падать. Поэтому нужно было в тип Actions добавлять лишний Init и потом делать кейс reducer state _ = iniitalState, но даже это работать не будет, смотрите ниже 4. даже от того, что выше, пришлось отказаться, потому что редакс зачем-то требует, чтобы экшоны были объектами (много на себя берет), поэтому пришлось каждый экшон обарачивать в рекорд, а потом матчерить кейсом. 5. дефолтных значений в пурсе делать нельзя, а начальное значение указывать в кейсе _ тоже нельзя, потому что редакс будет посылать сюде все экшоны, даже не наши. Из-за этого нужно будет писать свой враппер над всеми редьюсерами на пурсе, комбайнить их тоже на пурсе, чтобы и INIT обработать, и type убрать, и экшоны в экшоны оборачивать (чтобы вложенные редьюсеры делать) Все это делает интеграцию пурсы с редаксом возможной, но код получается так себе, профитов от перевода редьюсеров на пурсу будет не так много, как хотелось бы

Из книги по пурсе нужно абсолютно точно вырезать реакт и работу с конвасом. Че там забыли эти главы я хз. Возможно это и есть тот "example", но для таких вещей есть документация пакетов

https://github.com/slamdata/purescript-halogen/tree/master/docs

https://github.com/slamdata/purescript-halogen/tree/master/docs

ради типизации R.__ сделали костыль с генериками

s/R\.__/JS/

а твоя публичная?

а твоя публичная?

Для оптики нужны сначала Either, Maybe и Tuple, я их только недавно и сделал