I agree that time travel debugging is useful, but is this something really unique to OCaml? when I last tried to read through the ocamldebug source, I recall that the time travelling is implemented by forking the debugger process no? it probably wouldn’t be that hard to add this into the the debuggers of other languages.