Oh wow, this reminds me of Jefferson’s time warp (virtual time), but that was more for dealing with inconsistencies brought about by concurrent processing. htt

Oh wow, this reminds me of Jefferson’s time warp (virtual time), but that was more for dealing with inconsistencies brought about by concurrent processing. https://dl.acm.org/doi/10.1145/37499.37508 https://dl.acm.org/doi/10.1145/37499.37508 I wrote a paper with Jonathan Edwards around the concept of managed time a while back also: https://www.microsoft.com/en-us/research/publication/programming-with-managed-time/ https://www.microsoft.com/en-us/research/publication/program... But this is more like time traveling as an explicit first class thing, rather than just a way to make things consistent wrt to concurrency or live programming. I don’t think first-class time travel has been explored so much yet.