Hacker News Reader

> Ocaml has a GC

Yes, but the language is immutable and eager by default. That makes circular references a chore.

> and supports class based inheritance

Yes, but hardly anybody uses that part of the language. We tend to stick with modules and variations over them.

> Yes, but hardly anybody uses that part of the language. We tend to stick with modules and variations over them.

You can have inheritance via polymorphic variants: see Garrigue's `Code reuse through polymorphic variants`.

I have never used polymorphic variants… Too lazy to learn.

Actually, I think most of the OCaml GUI libraries (lambda-term, for instance) do use objects and classes, because it makes sense in that context.