1. 1. About salsa
  2. How to use Salsa
  3. 2. Overview
  4. 3. Tutorial: calc language
    1. 3.1. Basic structure
    2. 3.2. Jars and databases
    3. 3.3. Defining the database struct
    4. 3.4. Defining the IR: the various "salsa structs"
    5. 3.5. Defining the parser: memoized functions and inputs
    6. 3.6. Defining the parser: reporting errors
    7. 3.7. Defining the parser: debug impls and testing
    8. 3.8. Defining the checker
    9. 3.9. Defining the interpreter
  5. 4. Reference
    1. 4.1. Durability
    2. 4.2. Algorithm
  6. 5. Common patterns
    1. 5.1. On-demand (Lazy) inputs
  7. 6. Tuning
  8. 7. Cycle handling
  9. How Salsa works internally
  10. 8. How Salsa works
  11. 9. Videos
  12. 10. Plumbing
    1. 10.1. Jars and ingredients
    2. 10.2. Databases and runtime
    3. 10.3. The db lifetime on tracked/interned structs
    4. 10.4. Tracked structures
    5. 10.5. Query operations
      1. 10.5.1. maybe changed after
      2. 10.5.2. Fetch
      3. 10.5.3. Derived queries flowchart
      4. 10.5.4. Cycle handling
    6. 10.6. Terminology
      1. 10.6.1. Backdate
      2. 10.6.2. Changed at
      3. 10.6.3. Dependency
      4. 10.6.4. Derived query
      5. 10.6.5. Durability
      6. 10.6.6. Input query
      7. 10.6.7. Ingredient
      8. 10.6.8. LRU
      9. 10.6.9. Memo
      10. 10.6.10. Query
      11. 10.6.11. Query function
      12. 10.6.12. Revision
      13. 10.6.13. Salsa item
      14. 10.6.14. Salsa struct
      15. 10.6.15. Untracked dependency
      16. 10.6.16. Verified
  13. Appendices
  14. 11. Meta: about the book itself

Salsa

Reference