Functional programming is a paradigm focused on computing results through mathematical functions, emphasizing immutability, pure functions, and higher-order functions. Key languages include Haskell, Erlang, and Lisp