Twitter | Pretraživanje | |
Raph Levien
Very theoretical but of likely of interest to people building native UI frameworks: Towards a unified theory of reactive UI
In trying to figure out the best reactive structure for druid, as well as how to communicate that to the world, I’ve been studying a wide range of reactive UI systems. I’ve found an incredible...
Reply Retweet Označi sa "sviđa mi se" More
Rémy Rakić 23. stu
Odgovor korisniku/ci @raphlinus @asajeffrey
maybe 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 & ?
Reply Retweet Označi sa "sviđa mi se"
Alan Jeffrey 23. stu
Odgovor korisniku/ci @lqd @raphlinus
The paper describing the UI work in Agda is , which is a bit of a brain dump, but does describe the implementation strategy.
Reply Retweet Označi sa "sviđa mi se"
Andrius Bentkus 23. stu
Odgovor korisniku/ci @raphlinus
Please record your talk you are going to make about druid! You are documenting something that is impossible to read in literature.
Reply Retweet Označi sa "sviđa mi se"
Raph Levien 23. stu
Odgovor korisniku/ci @andriusbentkus
This will definitely happen. Thanks for your interest!
Reply Retweet Označi sa "sviđa mi se"
NewoGame 23. stu
Odgovor korisniku/ci @raphlinus
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.
Reply Retweet Označi sa "sviđa mi se"
corvus frugilegus 23. stu
Odgovor korisniku/ci @raphlinus
Although I think these are more focused on the app state and user input half of things, they may be interesting:
Reply Retweet Označi sa "sviđa mi se"
六面镜子 16. pro
Odgovor korisniku/ci @raphlinus
Nice abstraction of the UI problem! Is there any progress on the theory?
Reply Retweet Označi sa "sviđa mi se"