Step by step evaluation / "debugging" of an OCaml program

Learning
1

I would like to evaluate an OCaml program in a step by step manner, in order to check if it satisfies the requirements (and also to know where exactly I suck at writing this program! This is a good way for learning faster).

There is the good old ocamldebug that requires to compile the program with ocamlc -g, that lets add some breakpoints and examine values. From CLI (or CLI within Emacs, with apparently no more support).
https://caml.inria.fr/pub/docs/manual-ocaml/debugger.html
https://ocaml.org/learn/tutorials/debug.html

What are the tools for OCaml:

  • that don’t require to first compile the program
  • that look like Matlab or javascript integrated debuggers where you can put breakpoints in the source code, do a step-by-step evaluation, define/register a set of values to watch, peek the value by putting the mouse over a word in the source code

And how do you proceed to locate your non syntactic errors and non type errors, and to fine-tune your OCaml program?

2

I’m still looking for the available OCaml “modern” checking/debugging tools:
I can see:
_ ocd/ocamldebug (which requires to compile with -g then launch ocamldebug)
_ Printexc

https://ocaml.org/learn/tutorials/debug.html only talks about trace/untrace and ocd.

Today, what is the common and efficient way of looking at the step-by-step execution of an OCaml program? (where it goes in the program, what is the value of variables, what is the stack)
What are the more usable tools for that?
Thanks.