[The_rationalist]

I would say that rust and kotlin are good at providing most of the useful concepts from functional programming (higher order functions, common functors (map, filter, etc), tail call, pattern matching, destructuring, expressions, lazy evaluation, immutable collections, actor model, algebraic data types) Sadly they lack some features at the type system level (higher kinded types, intersection and union types) TypeScript do a better job at it but lack some other features (pattern matching).

[pkolaczk]

Looks like the language you wanted to mention is Scala. Pragmatic and has all the things you mentioned.

[kod]

Kotlin doesn't have destructuring pattern matching.