arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1609.05337cs.PL
收藏

miniAdapton:Scheme中增量计算的最小实现

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme

Dakota Fisher, Matthew A. Hammer, William Byrd, Matthew Might

摘要:

我们描述了miniAdapton的完整Scheme实现,它实现了Adapton系统的核心功能,用于增量计算(也称为自调整计算)。像Adapton一样,miniAdapton允许程序员安全地组合突变和记忆。miniAdapton建立在一个更简单的系统microAdapton之上。miniAdapton和microAdapton都设计成易于理解、扩展和移植到Scheme以外的主机语言。我们还介绍了adapton变量,这是Adapton中用于表示表达式的变量的新接口。

英文摘要:

We describe a complete Scheme implementation of miniAdapton, which implements the core functionality of the Adapton system for incremental computation (also known as self-adjusting computation). Like Adapton, miniAdapton allows programmers to safely combine mutation and memoization. miniAdapton is built on top of an even simpler system, microAdapton. Both miniAdapton and microAdapton are designed to be easy to understand, extend, and port to host languages other than Scheme. We also present adapton variables, a new interface in Adapton for variables intended to represent expressions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑