函数级编程 在计算机科学中函数级Functionlevel编程指称John Backus在他的将程序作为数学对象来研讨的著作中标识出的两种对立编程范型之一另一种是值级Valuelevel编程在Backus研究并出版他自己的函数级风格编程之时他的提议在很大程度上被误解为支持传统的函数式编程