4 ms·

"one of the few languages that have parametric polymorphism but no ad-hoc polymorphism" I wonder what others are? Would like to try them.

• Athas 8y ago
  OCaml and Standard ML are two others, and I'd say OCaml is established enough that Elm is not really breaching new ground here. The main difference is that OCaml has other features you tend to use instead, particularly the module system.
  • ikfmpwdsoz 8y ago
    OCaml is a very fun language in my experience. Apparently they were going to add ad-hoc polymorphism in the form of modular implicits, but I have no idea what happened to that.
    • logicchains 8y ago
      It's due around the time OCaml multicore support and Half Life 3 are released.
  • rs86 8y ago
    Can't the module system be used for ad hoc polymorphism?