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 …
-
-
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.
-
Doing it straight in JS without Agda or reactive types is in http://asaj.org/papers/rebls15.pdf … (joint work with
@tvcutsem). - Još 1 odgovor
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.