> It's harder to do generic polymorphism in OCaml since the language has nothing like C++'s parametric templates or Haskell's type classes. It does have a very nice module system that has the required flexibility, but compared to these languages, I think it is clunky for the kind of genericity seen in scientific computing.
Are parametrized modules really clunkier than parametric templates ?
Are parametrized modules really clunkier than parametric templates ?