：相当于以下：
函数式实作.由于函数式编程语言如 Haskell, LISP, Scheme都具备了一阶函数，所以formula_1单元或其它种类的数据结构，都可使用函数实现。例如，在 Scheme 中：这种技术被称为邱奇编码，实作出了codice_1、codice_12 和 codice_13操作，使用函数的特性来当作“cons cell”。邱奇编码是一种在无型别的单纯λ演算中，定义数据结构的常用方法，而λ演算则是可计算性质的理论抽象模型，与 Haskell, LISP,