Very theoretical but of likely of interest to people building native UI frameworks: Towards a unified theory of reactive UIhttps://raphlinus.github.io/ui/druid/2019/11/22/reactive-ui.html …
-
-
Replying to @raphlinus
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 … ?1 reply 0 retweets 3 likes -
Replying to @lqd @raphlinus
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.
1 reply 0 retweets 2 likes -
Doing it straight in JS without Agda or reactive types is in http://asaj.org/papers/rebls15.pdf … (joint work with
@tvcutsem).3 replies 0 retweets 1 like
Thanks, this is very interesting. I will do my best to absorb it. (I'm familiar with dependent types but find I kinda have to switch my brain into that mode)
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.