Category: Link

I had wondered:

What is the defacto OCaml build tool?

to which Sylvain replied:

– ocamlbuild (in OCaml distribution)
– OCamlMakefile
Some other use OMake.

I had wanted to know:

What is the defacto OCaml unit testing tool?

Sylvain replied:

–OUnit

I had wondered:

Is it “poor taste” to include type information in function definitions?
It seems like very nice documentation, but then again, maybe it is nicer rely on the inferencing engine to reduce the amount of code?
In theory you write short, easy to understand functions; in practice it isn’t always this simple though.

People kindly replied:

When you can avoid it, it is better to NOT include type information. Using a tool like “ocamldoc” will render the function and its inferred types in a real documentation format (e.g. HTML).
There are cases where you need to include type information, but they are corner cases.

— Sylvain

Interface files (.mli) are usually the main place for documentation. Within the .ml files, you can explain your algorithms but it’s usually just plain comments, not so much type annotations.

— Martin

As to the matter of “taste”, note that this practice is not idiomatic in Ocaml, in contrast to Haskell where it seems current. I’m not sure if that’s your case, but people coming to Ocaml from Haskell may at first tend to exaggerate on this aspect…

— Dario

I didn’t find one in Pervasives, and having read this thread I see why and that there probably is not one.
However, I wanted to do something like initialize an array of (0..9) and figured that identity is more convenient than (fun i -> i).
Raphael explained that it can be found here in Batteries Included.
(via ocaml-beginners)