We do have comonadic data types in arrow extras. D...
# arrow
r
We do have comonadic data types in arrow extras. Day, Moore etc. but we still lack a well defined recommended pattern to build purely functional UIs
p
This is a specific area of interest for me regarding my above comments. Presently I like to use MVU (Elm architecture) as it feels the most functional. However, I would much prefer to use functional types as they are “discovered” rather than invented.
Perhaps this stuff is too new to have much material, but I wouldn’t know because I’m relatively new to FP (3-4ish years).
I know there are many ideas that have been proposed over the years but never got traction. It’s hard to find any canonical ways of handling UIs in a purely functional way.
Phil Freeman’s comonadic UI concepts are the most interesting thing I’ve found so far (especially give his Purescript resume), but the examples are lacking.
👍 1
p
because I’m relatively new to FP (3-4ish years).
same btw 😄
r
I believe our types mirror those in PS but examples are minimal
If you end up doing anything interesting with those that is reusable we can for sure use help in that are improving it.