Functional programming is based on lambda calculus. Functions must return the same output given the same inputs no matter the state and cannot affect anything outside of the function. Functions can be set to variables and can return functions or be given functions as arguments. Objects and variables cannot be changed once initialized.