This was good to read!

"FWIW if you're interested I'd also like to mention the huge impact OCaml had on the design of .NET generics and C# 2.0, which I've never properly described on this list. It was seeing and experiencing polymorphic programming in OCaml and SML that made us persevere with the long and torturous process of convincing Microsoft that they should add such an "experimental and academic" feature as generics to their flagship runtime and languages. Of course we were in reality just making 1970s ideas work in practice, but at least now even Visual Basic has generics."

had no idea they resisted Generics.. I thought Java 5 was the main reason C# got them.

I think the one thing we can take away from the history of every mainstream language is they will all fight tooth-and-nail against generics because they are 'too complex', before coming up with some 'innovative approach to generics'.

I apologize for not being clear. Which one expresses functional paradigm more?

OCaml since it has functors.