I would love to see a future compiled programming language which would support some, or even all of the following compilation options: 1) Compile with "time tr

I would love to see a future compiled programming language which would support some, or even all of the following compilation options: 1) Compile with "time travel" AKA point-in-time state memory enabled (and accept slower code execution). 2) Compile without "time travel", AKA standard compilation -- for much faster code execution. 3) Compile such that some, but not all sections of code will selectively save their exact state at points in time, and can be "time traveled" by a debugger -- but only for those sections of code explicitly marked. 4) Compile such that "time travel" could be selectively turned on or off (may require dynamic function recompilation at runtime) for any function or specific lines of code, as needed, during runtime! Anyway, Mariposa looks like a step in the right direction -- and really cool!