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, Increment

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: https://www.youtube.com/watch?v=R3xX37RGJKE https://www.youtube.com/watch?v=R3xX37RGJKE 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: http://skiplang.com/ http://skiplang.com/ https://news.ycombinator.com/item?id=18077612 https://news.ycombinator.com/item?id=18077612 Julien Verlaguet - Reflex: Reactive Programming at Facebook -- https://www.youtube.com/watch?v=AGkSHE15BSs https://www.youtube.com/watch?v=AGkSHE15BSs Reflex was an earlier name or earlier incarnation of Skip.