Comment by sideeffffect

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

https://www.cs.cmu.edu/~rwh/talks/mlw13.pdf