重温 Futamura 投影：一种图解方法
编程语言
2018-03-22 v3 软件工程
摘要
诸如 PyPy 和 Truffle/Graal 等语言实现工具的出现，重新激发并拓宽了人们对自动编译器生成与优化相关课题的兴趣。鉴于这种更广泛的兴趣，我们使用一种新颖的图解方案重温了 Futamura 投影。通过这些图解，我们强调了 Futamura 投影中反复出现的模式，同时探讨了其复杂性与抽象本质。我们预期这种方法将提高 Futamura 投影的可及性，并有助于通过部分求值的视角来分析这些新工具。
关键词
引用
@article{arxiv.1611.09906,
title = {Revisiting the Futamura Projections: A Diagrammatic Approach},
author = {Brandon M. Williams and Saverio Perugini},
journal= {arXiv preprint arXiv:1611.09906},
year = {2018}
}
备注
20 pages, 11 figures, 3 tables; pre-print of published version in Theoretical and Applied Informatics