Elm programmers: are there higher-order abstractions you use to compose modules without manually defining parent product types and `update`?
Conversation
I'd love to know about this too. So far it involves a lot of manual labor.
1
I’m trying to evaluate essential v. incidental complexity here, and in general in the pattern of “pass everything down the tree.”
4
2
I suspect (but haven’t yet shown) that structural typing a la clojure.spec could be used to form composition abstractions.
1
Yes! That was my intention with my Swifty-elm-arch sample.
1
1
I think there's a finite set of compositions, so it ought to be expressible with an abstraction.
1
if X has children of type ([Y], Z), X can accept events of Either<(index, Y.Event), Z.Event>.
1
Replying to
Right… but now the type’s unmanageable (kinda like my OrthogonalStateMachine abstraction). Elm’s data-types-a-la-carte helps…