The focus may not be totally the #FP side of things, but it feels mostly right or good enough for it. I don't believe we will ever see monoids and semirings in it, but more as a practical language with the simple patterns that the style enables.
Its site description:
"The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax."