句法闭包

注记: 本文是1988年发表的, 和KFFD流派相比, 句法闭包未能成为主流.

摘要

这篇论文我们描述了句法闭包. 句法闭包解决了编写宏时的作用域问题. 我们讨论了将句法闭包引入宏展开接口引起的一些问题, 并将句法闭包与其他方法进行了比较. 完整实现也随附其中.

1    宏的麻烦

2    术语

3    我们的解决方案

就像由lambda表达式返回的闭包, 一个句法闭包由某种形式的环境, 一列名字和一个表达式构成. 对于这两种闭包, 表达式中出现的名字都被视为相对于那个环境而言的, 除了出现于给定列表中的名字. 列表中的名字的含义是之后确定的. 不论是哪一种情况, 闭包都是一种参数化表达式的方式.

不同之处在于lambda表达式闭包是根据实际参数调用的, 而句法闭包的调用遵循"call-by-context"的方式.