["set", q("x"), 1] # 将"x"赋值为1。注意,q(expr)是['quote',expr]的简写。
['+', ["-", 3, 2], 5] # (3-2)+5
["print", q("Hello world!")] # 输出"Hello world!"
这一篇将补充更多的函数,以使得这一“语言”更加完整。
首先补充"setq"函数。因为赋值函数"set"大多数需要将第一个参数(变量名)"quote"起来,避免求值。因此我们让"setq"不要自动求变量名的值。
# 函数定义:
@call_by_name
def setq(context, key, value):
context[key]=_eval(context,value)
return value
# 用例:
["set", q("x"), 5]
["setq", "x", 5] # 和上一个表达式效果相同。
看到,与set不同,setq用@call_by_name标记要求按名传入;而在内部,将value求值。
LISP语言中,整个程序是一系列的表,被按顺序一个一个地求值。它也允许顺序结构。这里,我定义"begin"函数,作为“顺序结构”。
# 函数定义:
@call_by_name
def begin(context, *exprs):
rv = None
for expr in exprs:
rv = _eval(context, expr)
return rv
# 用例:
[“begin",
["set", q("x"), 3],
["set", q("y"), ["+", "x", 5]],
["print", y],
]
"begin"函数取任意多个参数。求值时,会按顺序求出每个参数的值,返回最后一个参数的值,其他参数返回值将被忽略。
有了这个"begin"函数,我们可以把整个程序写在一整个大list中。可以看出,“begin”这个单词只是“语法糖”的作用,让人有“程序开始”,或者“块开始”的感觉,类似Pascal语言那样。
现在我们通过“begin”拥有了一种流程控制:基本的“顺序结构”。我们已经有"if"函数做条件判断。但是,目前我们没有定义“关系表达式”,因此"if"也无用武之地。下面定义"=="和"
# 函数定义:
@dc("==") # 别名
def equal(context, expr1, expr2):
return expr1==expr2
@dc("
def less_than(context, expr1, expr2):
return expr1
# 用例:
[“print",
["if", ["==", ["+", 3, 5], 8],
"It is all right.",
"Hey! There must be something wrong!"
]
]
由于LISP是一种函数式语言,实际应用中一般用递归而不是循环。因此这里暂时没有实现。但实现循环结构是很容易的。
"let"函数允许用户定义局部变量。如LISP语言: