Skip to content
0:00 / 0:00

#ocaml#incremental#incr_dom

"Data Driven UIs, Incrementally" by Yaron Minsky

Strange Loop Conference

88K subscribers • 110 videos on Hallway • Conference channel

YouTube
  • Recommended by 5 people: 4 on Hacker News and 1 curated list.
  • Presented by Yaron Minsky
  • May be out of date. Uploaded 8 years ago, in an area where tools change fast.

Intermediate. Assumes working knowledge.

20K views8 years ago5 recommendations

Web developmentSoftware designVue, Svelte, Angular and othersFunctional programmingPerformance and optimization

Yaron Minsky explains how Jane Street uses the Incremental OCaml library to build highly efficient, streaming data-driven user interfaces.

Trading in financial markets is a data-driven affair, and as such, it requires applications that can efficiently filter, transform and present data to users in real time. But there's a difficult problem at the heart of building such applications: finding a way of expressing the necessary transformations of the data in a way that is simultaneously easy to understand and efficient to execute over large streams of data. This talk will show how we've approached this problem using Incremental, an OCaml library for constructing dynamic computations that update efficiently in response to changing data. We'll show how Incremental can be used throughout the application, from the servers providing the data to be visualized, to the JavaScript code that generates DOM nodes in the browser. We'll also discuss how these applications have driven us to develop ways of using efficiently diffable data structures to bridge the worlds of functional and incremental computing. Speaker: Yaron Minsky

Why it's here

5 people recommend this

What people say. Recommended for its elegant approach to reactive UI and incremental computation using functional programming.

programming-talkscurated list on GitHubRecommends

Under “UX/UI”

Data Driven UIs, Incrementally 00:36:17 by **Yaron Minsky** (2018)

nateabeleon Hacker News • Recommends

On “Incremental – Library for incremental computations”

The author just gave a talk at Strange Loop 0 that provides a better conceptual overview than the talk linked in the docs. Pretty interesting stuff. 0 link to this video

chuboton Hacker News • Recommends

On “Adapton: Programming Language Abstractions for Incremental Computation”

From what I can tell, incremental computation is starting to be used in practice: Jane St has an OCaml library called Incremental: "Data Driven UIs, Incrementally" by Yaron Minsky at Strange Loop 2018: link to this video This talk has a pretty impressive live JS table demo! It looks faster and nicer than most JS UIs I've seen. ----- And the Skip language was developed Facebook. Apparently they started to use it for some production stuff, but somehow they decided against it and spun it out: link link Julien Verlaguet - Reflex: Reactive Programming at Facebook -- link Reflex was an earlier name or earlier incarnation of Skip.

75dvtwinon Hacker News • Recommends

On “Towards a unified theory of reactive UI”

Thank you for sharing the write up. I think the model you are describing, has parallels with Yaron Minksy's Data Driven UIs, incrementally link to this video Perhaps if you could review the above (if you have not done already), additional ideas/data points might help with your formalization effort.

pgton Hacker News • Recommends

On “Moxie: Incremental Declarative UI in Rust”

Any discussion about incremental UI should include Yaron Minsky's talk about Jane Street's OCaml framework, incr_dom from 2016: link to this video Incremental is essentially an implementation of Adapton from 2014: link There is a big upset coming in the UX world as we converge toward a generalized implementation of the "diff & patch" pattern which underlies Git, React, compiler optimization, scene rendering, and query optimization. Two sleeper startups in this space that are going to make a lot of money are Frank McSherry's Materialize Inc. and Nathan Marz's Red Planet Labs. incr_dom source: link Differential Dataflow: link Declarative Dataflow Client: link Crux adapter for Declarative Dataflow…

espeedon Hacker News • Mentions

On “Type-Driven Program Synthesis [video]”

Type-driven development, meta languages, specs, provably correct code, and automatic code generation were some of the big overlapping themes at Strange Loop 1 this year. All the talks posted online this week 2, and I've posted links to some of the related videos below 3. It's a good indicator that the time has come for an idea when multiple lines of research and projects from disparate domains begin converging on the same idea from different directions. Several facets of the puzzle I've been working the last few years have converged towards this area so it's good to see that it's not just me, maybe that means we're all on the right track. But as 'pron and those who have been working in…

infogulchon Hacker News • Mentions

On “Xilem: An Architecture for UI in Rust”

Very interesting! This somehow seems convergent with the model-level incrementalization approach that incr_dom 1 and its successor bonsai 2 are using. Have you had a chance to compare these? 1: link | link to this video 2: link