zrho
Edit lenses
This is of course very theoretical - just wondering if you have seen this paper: http://dmwit.com/papers/201107EL.pdf
As I understood, they are passing around just the difference list (or generally, any monoid), so in theory a framework built upon such structure could probably get rid of the virtual dom and do the patching directly. There's even some kind of prototype implementation: https://hackage.haskell.org/package/edit-lenses https://hackage.haskell.org/package/edit-lenses-demo
This looks interesting! Indeed I haven't seen that one yet. Having that kind of stuff would some hard problems; the Haskell implementation in edit-lenses however seems rather unwieldy. I'll think about it for a while... Maybe there even is a way to make it compatible with profunctor lenses, so that an optic switches between an ordinary optic and an edit variant. Stuff for thought. Thank you for the reference!
