2 ms·

Extremely dated. No HKTs, no typeclasses (modules are not a good substitute), no call-site expansion.

• nukifw 1y ago
  - Extremely dated: we have almost one new release every six month and in recent releases, the language runtime has been changed and user-defined effects have been introduced. - No HKTs "in your sense" but: ```ocaml module type S = sig type 'a t end `` `type 'a t` is an Higher Kinded type (but in the module Level). - No typeclasses, yes, for the moment but the first step of https://arxiv.org/pdf/1512.01895 https://arxiv.org/pdf/1512.01895 is under review: https://github.com/ocaml/ocaml/pull/13275 https://github.com/ocaml/ocaml/pull/13275 - no call-site expansion ? https://ocaml.org/manual/5.0/attributes.html https://ocaml.org/manual/5.0/attributes.html look at the attribute `inline`.
• grumpyprole 1y ago
  True, but then concurrency via algebraic effects makes it look more modern than Rust.
  • abathologist 1y ago
    Almost as if the development of PLs is not a straight line of monotonically additive features XD