maybe @asajeffrey would have academic cites which could be useful here ? at the very least their own FRP work in Agda could provide some interesting theoretical background
— as could Phil Freeman's work on comonadic UIs, seen on https://blog.functorial.com/ & https://speakerdeck.com/paf31/the-future-is-comonadic … ?
-
-
-
The paper describing the UI work in Agda is http://asaj.org/papers/padl13.pdf …, which is a bit of a brain dump, but does describe the implementation strategy.
- 2 more replies
New conversation -
-
-
UI frameworks try to unify 2 disparate things. UI should be 2 systems. Firstly 1. A state machine. 2. Code that checks for conditions, interacts with the state machine, then renders output. If you put code into the state you end up with OOP.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Although I think these are more focused on the app state and user input half of things, they may be interesting: https://github.com/divipp/lensref https://github.com/divipp/frp_agda
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Nice abstraction of the UI problem! Is there any progress on the theory?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.