> How is reverse debugging working out for Haskell then? The Elm debugger I posted above is a perfect example. Unlike your GDB example, it doesn't only work fo

> How is reverse debugging working out for Haskell then? The Elm debugger I posted above is a perfect example. Unlike your GDB example, it doesn't only work for a subset of x86 instructions or require monumental effort to implement. It's a high-level domain-specific debugger, that was simple to specify and build. For those of us that want to write high-level code with many layered abstractions, working one-word-at-a-time using GDB is simply not a great way to debug, even if it does now sometimes work backwards. We want to easily build our own debuggers.