top | item 45848268

(no title)

_gmkt | 3 months ago

Yes, in every ML/OCaml tutorial, sooner or later the words object, class, and type inference appear and that’s when a once–minimalist language turns into an academic Frankenstein.

discuss

order

rwmj|3 months ago

I don't think objects and classes are used much by OCaml programmers (not by me anyway). Type inference is a rather fundamental feature, and fairly easy to understand.

Barrin92|3 months ago

It's not a minimalist language, you know what the "O" in Ocaml stands for right? It's a multi-paradigm language that explicitly accommodates more styles of programming than Caml, it's why it exists.

giovannibonetti|3 months ago

Why does type inference contribute to that issue?