3 ms·
Thank you for sharing the write up. I think the model you are describing, has parallels with Yaron Minksy's Data Driven UIs, incrementally https://www.youtu
by 75dvtwin 7y ago
Thank you for sharing the write up.
I think the model you are describing, has parallels with Yaron Minksy's Data Driven UIs, incrementally
https://www.youtube.com/watch?v=R3xX37RGJKE https://www.youtube.com/watch?v=R3xX37RGJKE
Perhaps if you could review the above (if you have not done already), additional ideas/data points might help with your formalization effort.
- raphlinus 7y agoThanks, great resource. I've had Incremental explained to me by a Jane Streeter and I'm sure it influenced my thinking, but it's always good to have public explanations.
- fyp 7y agoIf the academic stuff is interesting to you, then take look at functional reactive programming stuff from the scala ecosystem. For example there is a paper by Martin Odersky himself on incremental computations on lists (which should be very familiar to you due to your work on Xi's ropes): https://link.springer.com/chapter/10.1007/978-3-642-39038-8_29 https://link.springer.com/chapter/10.1007/978-3-642-39038-8_...