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 everywhere, other than pre-existing infrastructure, libraries, etc.
> 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).