what is the most FP arrowy kotlin redux that ppl i...

# arrow

[jimn]

what is the most FP arrowy kotlin redux that ppl in here like?

[raulraja]

There isn’t one and that is something we’d like to have

[raulraja]

We have some core datatype like Day, Sum etc related to ui in arrow-ui and some tests but nobody has come up with a solid pattern without boilerplate

[jimn]

I'm a wingnut from left field. I am trying to downmix my tendencies with compatible idioms. Here's some heapless JDK code I enjoyed doing, but consider a past life. (and also can mostly be replaced by coroutinecontext with kotlinc) https://github.com/0xCopy/bbcursive/blob/master/src/main/java/bbcursive/std.java#L58

[jimn]

are we discussing redux as a .. Queue.. for which immutable state enters permanently, and further mutations are the journal of transforms applied to the immutable state? and Observer pattern for each queue item event channel?

[jimn]

i have seen redux ports popping up like gophers all over github, mainly I figured Arrow-kt had already broached the topic

[jimn]

is redux the same as each stateful instance having a notification channel to mutate? if so, why do my channels need a god antipattern to succeed?

[raulraja]

Redux in arrow would like like an immutable action state change based loop with IO fx support and streams when available or something similar

[raulraja]

But I was asking in terms of syntax

[raulraja]

Not what you do but what would you like this to look like

[raulraja]

Then we can reverse engineer or find the arrow patterns that take you through the types