I'm not very familiar with the actual library distribution stuff in OCaml, but linguistically, the ML style of modules and interfaces is really nice, and someti

I'm not very familiar with the actual library distribution stuff in OCaml, but linguistically, the ML style of modules and interfaces is really nice, and sometimes even Haskell programmers envy it. Especially the built-in distinction between an interface and an implementation, which lets you depend on an abstract API rather than on a concrete library.