If 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

If 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_...