Una de las cosas que echo de menos de GHC (Haskell) cuando uso OCaml es que no hay depurador unificado/REPL. El depurador y el REPL están completamente separados, ¡lo cual es una locura! No se puede pensar en una llamada a función aleatoria y ejecutarla en el proceso de ejecución, como se puede hacer en ghci.REPL para ocamldebug?
¿Algún consejo, soluciones para esto?