通过组合逻辑理解元编程中非卫生替换的表达能力

Martin Lester

通过组合逻辑理解元编程中非卫生替换的表达能力

计算机科学中的逻辑 2019-10-09 v1

作者: Martin Lester

摘要

近期关于组合逻辑的工作展示了一种从lambda演算出发的组合翻译，赋予开放项以语义。由于开放项的语义是元编程研究中的关键难点，我们探究这一思想能否推广至具有卫生与非卫生替换的元编程系统，具体而言即 $\lambda_{e}^{\rightarrow \Box}$ 与 $\lambda_{\mathcal{S}}$ 。我们得出结论：有定量证据支持“具有非卫生替换的元编程比具有卫生替换的元编程更强大”这一论断。

关键词

组合逻辑元编程非卫生替换卫生替换表达能力 lambda演算开放项

引用

@article{arxiv.1910.03217,
  title  = {Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic},
  author = {Martin Lester},
  journal= {arXiv preprint arXiv:1910.03217},
  year   = {2019}
}

通过组合逻辑理解元编程中非卫生替换的表达能力

摘要

关键词

引用

相关论文