But, unless I'm missing something, it's missing the supporting bits you get in a nice functional language, like algebraic datatypes and pattern matching, which make that style much more pleasant.
Of course, most of the functional language DO have generics, and full type inference to boot, also.
Of course, most of the functional language DO have generics, and full type inference to boot, also.