(一)一种建构程式的方法，主要系由一序列的函数呼叫所组成，而函数呼叫可以巢状式呼叫（即可递回）。
(二)以函数程式设计语言来设计程式。以函数程式设计语言所写的程式具有简洁及优美的特性，唯执行速度较慢且需较大的记忆体。较常见的LISP语言是由具有纯函数程式部分及其它的非函数式的结构所组成。参【迟缓评估】（lazy evaluation）、【缩减；归约；简化】（reduction）、【函数式语言】（functional language）。