In functional programming, programs are composed of pure functions that take input values and return output values, without mutating state or causing side effects.