Variable Substitution with Iconic Combinators
Variable Substitution with Iconic Combinators
复制标题
使用标志性组合器进行变量替换
DOI：
10.1007/3-540-57182-5_63
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
D. Stevens
中科院分区：
文献类型：
--
作者：
D. Stevens
介绍了一种表示组合子的图标符号，并开发了与之一起工作所需的组合逻辑扩展。它示出了如何整组的组合子可以被定义为只有两个规则的建设和解释图标的名称。这两条规则--一般抽象规则和一般归约规则--是执行变量替换所需的唯一规则。有人建议，使用这里报告的结果的技术可能比其他基于组合子的方法实现一个功能性语言的优势。
An iconic notation for representing combinators is introduced, and the extensions of combinatory logic needed to work with it are developed. It is shown how entire sets of combinators can be defined by just two rules for constructing and interpreting iconic names. The two rules — a general abstraction rule and a general reduction rule — are the only ones required to perform variable substitution. It is suggested that techniques using the results reported here may have advantages over other combinator-based methods for implementing a functional language.