Anyways, this an active research topic...see:
http://research.microsoft.com/pubs/211297/managedtime.pdf
If you haven't yet.
Anyways, this an active research topic...see:
http://research.microsoft.com/pubs/211297/managedtime.pdf
If you haven't yet.
[1] http://www.opencobalt.org/about/history
[2] I think the paper I read is this one -- but I can't verify it from here:
"Designing croquet's TeaTime: a real-time, temporal environment for active object cooperation", David P. Reed http://dl.acm.org/citation.cfm?id=1094861
See also: http://www.opencobalt.org/about/synchronization-architecture
"Implementing atomic actions on decentralized data" http://dl.acm.org/citation.cfm?id=357355
Again, the goal here is not live programming, but the "boxing" of blocks of code into "atomic actions" feels very similar to the MS paper.
[edit: Some interesting parallels with the earlier story on Soundcloud's Roshi system too https://news.ycombinator.com/item?id=7732696 ]
"In the Smalltalk model, for instance, state is persistent and code changes don't affect data. In the Clojure model, code is "mostly functional", with a small amount of carefully-managed state. Either model could be a starting point for a system where continuous code changes can be seen as continuous effects." -- Bret Victor http://worrydream.com/LearnableProgramming/