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 …
-
-
Doing it straight in JS without Agda or reactive types is in http://asaj.org/papers/rebls15.pdf … (joint work with
@tvcutsem). -
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)
Kraj razgovora
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.