3 ms·
OCaml have HKT, it's in the module part of the languiage, it's just verbose. And OCaml's module language is much more powerful than Java, since module language
by ernst_klim 7y ago
OCaml have HKT, it's in the module part of the languiage, it's just verbose.
And OCaml's module language is much more powerful than Java, since module language is a dependently typed language. You can't, say, pass a class including a type for another class in java.