> Are self updating processes really the right abstraction? As a debug tool, absolutely. As as a normal part of program execution in production? A bit sketchy.

> Are self updating processes really the right abstraction? As a debug tool, absolutely. As as a normal part of program execution in production? A bit sketchy. But that said.... ... what if there was a sure way to directly map your entire program state into the new version and you could be assured that you didn't miss any obscure corner of the state space? Like a borrow checker for transitioning between program versions. That'd be pretty neat.