Comment by emmelaich

utop for ocaml is cool, gives type signatures for functions. no explicit help, but does offer completions with tab.

Similarly, rtop for reason.

https://opam.ocaml.org/blog/about-utop/ and https://opam.ocaml.org/packages/rtop/