函数式编程是一种编程范式，强调将计算过程分解为可重用的纯函数。起源于数学范畴理论，函数是第一类公民。基本操作包括函数组合和柯里化，重要数据类型有Functor用于值转换，Monad用于处理I/O操作，保持纯函数特性以实现副作用操作。