Programming paradigm emphasizing pure (side-effect free) functions and immutable data. Often, but not always, associated with highly expressive type systems.
Most important advantage is extremely strong composability (IMO).
Paul Chiusano
Composability advantages don't survive across application boundaries, which there are a lot of in practice. cf Narrow Waist - there isn't a common data format that can preserve the strong invariants of functional programs.