people are doing FP, or using ideas originating in FP without even knowing it:
* Java/C# generics
* sealed interfaces and record classes
* pattern matching
* first-class functions with closures
* even type system itself (eg Python is gaining a type system)
* ...
The world of programming languages is converging, no matter how slowly, towards ML