makes functional tasks easy when I want FP
object oriented tasks easy when I want OOP
A high-level language doing this exists, it's called Scala. It does "marry" FP with OOP though, in the sense that FP is reconstructed as a specific form of OOP.
In fact, there are many such languages, for example F# or OCaml. Dylan and Common Lisp both offer a very advanced object system on top of usual functional features. Smalltalk is inherently functional in its usage of closures (blocks) and so is Io and JavaScript and other related languages. There's also Swift and Rust, not to mention even Python supports many FP constructs.
I'd argue that neither Ocaml nor F# get the OO-FP integration quite right. The problem is this:
offer ... object system on top of
... functional features.
This implicitly assumes that objects are a special case of functions. This is questionable. Scala goes the other way and recovers functions as special cases of objects. In my opinion that solved the integration problem of typed OO with statically typed FP. Javascript, Smalltalk et al are not statically typed.
Almost any language having some kind of procedure mechanism. I'm not sure how helpful it is to take that alone as an example of supporting FP.
