Another point is that Haskell and OCaml popularized features and styles that are making their way into mainstream languages (e.g. option types instead of null,

Another point is that Haskell and OCaml popularized features and styles that are making their way into mainstream languages (e.g. option types instead of null, immutability by default), and the compilers showed that they can be implemented efficiently.