3 ms·

Sure, OCaml is great as are the other dialects of ML. I'm hoping that someone will weigh in with a compelling case for laziness everywhere or dynamic dispatch e

• still_grokking 4y ago
  > hoping that someone will weigh in with a compelling case for laziness everywhere How should this happen? You can hear even form the horses mouth that laziness by default was a big mistake. > dynamic dispatch everywhere Big mistake of most "OO language" indeed. Rust got this right. Static dispatch is the default (simple and fast!) but you can have dynamic dispatch where it makes sense. I hope this design will be copied in the future everywhere. Maybe even some language manage to get rid of their mistake and switch to the sane design (looking at you Scala, just make type-classes first-class, but keep OOP for the cases where it makes sense).