最近上了编译原理课，买了本龙书看了看，想到寒假看的lisp语言，感觉实现个lisp前端实在是简单，毕竟lisp 的语法是 S-expression ,非常接近抽象语法树，平时上课比较忙，今天有时间就用python简单写了一个，能实现基本语法，定义变量，lambda 表达式，和用lambda表达式实现的定义函数。写的很仓促，以后有时间再改进。

 

 实现其实很简单，首先是将命令解析，一条命令存为一个list,例

 

 然后分别处理。

其中比较难的两点是 局部变量和lambda表达式的实现。

函数暂时用lambda 表达式实现了，没有过多的封装，其实最终也准备用lambda表达式。

局部变量定义了类Env

1 class Env(dict): 2     "An environment: a dict of {'var':val} pairs, with an outer Env." 3     def __init__(self, parms=(), args=(), outer=None): 4         self.update(zip(parms, args)) 5         self.outer = outer 6  7     def find(self, var): 8         "Find the innermost Env where var appears." 9         if var in self:10             return self[var]11         elif self.outer is None:12             return var13         else:14             return self.outer.find(var)

调用lambda表达式时创建一个新的env,也就相当于局部环境

lambda表达式用Procedure类实现

1 class Procedure(object):2     "A user-defined Scheme procedure."3     def __init__(self, parms, body, env):4         self.parms, self.body, self.env = parms, body, env5     def __call__(self, *args):6         return eval(self.body, Env(self.parms, args, self.env))

保存形参，函数体的列表，调用时解析。

 整体来说思路很清晰，但这次过于匆忙，代码有些乱，下次有时间重构下。

 

 代码稍后上传：