在计算机科学中，函数级编程指称John Backus在他的将程序作为数学对象来研讨的着作中标识出的两种对立编程范型之一，另一种是值级编程。
概述.Backus在他的1977年图灵奖获奖演讲中，阐述了为何他认为在编程语言设计中需要切换到一种不同的哲学：编程语言似乎遇到了麻烦。每种后续语言，虽做了一点清理，都合并了它的前任们的所有特征，并加上了更多的特征。[...] 每种新语言都宣称了新的和时尚的特征... 但是明显的事实却是，很少有语言使编程者能足够廉价或更加可靠的去验证生产和学习