Haskell is all of these things, though it's library ecosystem has a pretty lengthy learning curve.