Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids changing state or mutable data. It emphasizes the use of pure functions, higher-order functions, and immutable data structures to promote code that is predictable, easier to test, and inherently parallelizable.