Lispkit Lisp是为测试函数式编程概念而开发的Lisp语言的严格函数式子集（“纯Lisp”）。它首先使用了对惰性求值的早期经验。开发者Peter Henderson于1980年出版了用一种变体ALGOL语言写的基于SECD抽象机的实现。编译器和虚拟机都是高度可移植的，并已经在多种机器上实现。
基本函数.基本语言只提供了下列函数，扩展在Henderson书中关于对惰性求值和非确定性编程的明确支持中讨论。函数lambda、let和letrec是类似的，但是在处理命名变量的