OK, I thought you meant there were many more such languages - but "proliferated" means spread, so my mistake, yours is valid use.

Yes, Haskell is better known, but not proliferated in real-world usage (though jq was based on it). F# and Scala aren't seeing much adoption.

I do think type inference will be borrowed from them (and pr many other features), but not pure fp (it makes some tasks unnecessarily difficult). The growth of dynamic typed languages suggests to me that developers value ease of development over almost everthing.