salsa

一个用于按需、增量计算的泛型框架。

强制警告

目前仍处于开发阶段。适用于实验性使用，但预期会有频繁的破坏性更改。

致谢

此系统深受 adapton、glimmer 和 rustc 的查询系统的启发。因此，归功于 Eduard-Mihai Burtescu、Matthew Hammer、Yehuda Katz 和 Michael Woerister。

关键思想

salsa 的关键思想是您将程序定义为一组 查询。每个查询都像函数 K -> V 一样使用，该函数从类型为 K 的键映射到类型为 V 的值。查询有两种基本类型

• 输入：系统的基础输入。您可以根据需要随时更改这些输入。
• 函数：纯函数（无副作用）将输入转换为其他值。查询的结果被缓存以避免频繁重新计算。当您更改输入时，我们将（相当智能地）确定何时可以重新使用这些缓存的值以及何时需要重新计算它们。

想要了解更多信息？

要了解更多关于 Salsa 的信息，请尝试以下方法

• 阅读带有大量注释的 hello_world 示例；
• 查看Salsa 书籍；
• 观看我们的视频之一。

联系方式

大部分讨论发生在 问题 和 拉取请求 中，但我们还有一个 zulip 聊天室。