供了一个优美独特的框架，但是函数式语言程序的执行效率低下。针对这个问题，本文将从以下几方面研究：　　 首先，本文通过研究函数式语言的诞生背景以及发展，讨论命令式语言与函数式语言各自的不足。简单地介绍FP语言，并讨论了函数式语言的优缺点和函数式程序设计的理想化目标。　　 其次，根据递归理论，提出一种建立在命令式语言基础上的编程规则，这种规则无赋值语句，消除了赋值语句副作用带来的危害。分析命令式语言的函数调用过程，找出赋值语句副作用带来最大危害的根源。提出对变量限制使用的方法，减少副作用，使函数调用与执行顺序无关，从而能够引入惰性求值。　　 再次，本文还讨论了回溯法和分支限界两种算法策略，对其解空间进行分类，利用高阶函数和泛型程序设计技术实现解空间的自动构造和遍历。从而，提高这两种算法实现效率与正确性。