1. 1. 关于 salsa
  2. 如何使用 Salsa
  3. 2. 概述
  4. 3. 教程: calc 语言
    1. 3.1. 基本结构
    2. 3.2. Jars 和数据库
    3. 3.3. 定义数据库结构体
    4. 3.4. 定义 IR:各种 Salsa 结构体
    5. 3.5. 定义解析器:存储函数的值和输入
    6. 3.6. 定义解析器:报告错误
    7. 3.7. 定义解析器:debug 与测试
    8. 3.8. Defining the checker
    9. 3.9. Defining the interpreter
  5. 4. 参考
    1. 4.1. 算法
  6. 5. 模式
    1. 5.1. 选择
    2. 5.2. 按需(惰性)输入
  7. 6. 调参
  8. 7. 处理循环
    1. 7.1. 通过回退恢复
  9. Salsa 内部如何工作
  10. 8. Salsa 如何工作
  11. 9. 视频介绍
  12. 10. 管道
    1. 10.1. Jars 和配料
    2. 10.2. 数据库和运行时
    3. 10.3. 查询操作
      1. 10.3.1. maybe_changed_after
      2. 10.3.2. fetch
      3. 10.3.3. 派生查询流程图
      4. 10.3.4. 处理循环
    4. 10.4. 术语
      1. 10.4.1. Backdate
      2. 10.4.2. Changed at
      3. 10.4.3. Dependency
      4. 10.4.4. Derived query
      5. 10.4.5. Durability
      6. 10.4.6. Input query
      7. 10.4.7. Ingredient
      8. 10.4.8. LRU
      9. 10.4.9. Memo
      10. 10.4.10. Query
      11. 10.4.11. Query function
      12. 10.4.12. Revision
      13. 10.4.13. Salsa item
      14. 10.4.14. Salsa struct
      15. 10.4.15. Untracked dependency
      16. 10.4.16. Verified
  13. 附录
  14. 11. 关于这本书本身

Salsa(中文介绍)

Terminology

Terminology