salsa-rs/salsa
View on GitHub ↗ ★ 3,012 Rust
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
17 mentions on Hacker News by 16 people: 0 stories, 17 comments · first 2019-05-13 · latest 2026-10-21
20082026
-
Ah, good to know. Thanks for clarifying! UPDATE: Found some pointers if anyone is interested: * https://github.com/salsa-rs/salsa/issues/10 * https://hackmd.io/@ibraheemdev/S17Bxowwxg
comment by shmerl · 2026-10-21 · in 2026 is an exciting year for the Rust compiler (and me) -
Also related, not a DB but an incremental computation engine: https://github.com/salsa-rs/salsa This can be found in things like the rust-analyzer and other actual compilers.
comment by Permik · 2026-01-09 · in Signals vs. Query-Based Compilers -
…differential datalog by combing the OP repo with salsa[1] (the crate that powers rust-analyzer) [1] https://github.com/salsa-rs/salsa
comment by foota · 2025-06-16 · in Datalog in Rust -
…type checking This is true! We're also contributing salsa features upstream where we can, e.g. https://github.com/salsa-rs/salsa/pull/603
comment by dcreager · 2025-01-29 · in "We're building a new static type checker for Python" -
…query infrastructure in rust-analyzer, but rust-analyzer is a query-driven system. We use Salsa ( https://github.com/salsa-rs/salsa/ ), which is strongly inspired by rustc's query system, down to the underlying red/green algorithm (…
comment by thramp · 2024-12-13 · in Rust’s Incremental Compiler Architecture -
…the last year, and the one I liked a lot is from Salsa examples, you can find it here[0]. [0] https://github.com/salsa-rs/salsa/blob/e4d36daf2dc4a09600975...
comment by norman784 · 2024-11-08 · in Rust for tokenising and parsing -
…like salsa [0] and adapton [1]? Could dbsp work as a backend for an incremental compiler? [0] https://github.com/salsa-rs/salsa [1] https://docs.rs/adapton/latest/adapton/
comment by nextaccountic · 2024-09-30 · in Feldera Incremental Compute Engine -
…dependents haven't changed. Do you know if anyone has thought of building something like this? [1] https://github.com/salsa-rs/salsa
comment by zacmps · 2024-07-31 · in Amazon's exabyte-scale migration from Apache Spark to Ray on EC2 -
…Anders Hejlsberg on Modern Compiler Construction: https://www.youtube.com/watch?v=wSdV1M7n4gQ Also https://github.com/salsa-rs/salsa
comment by sarosh · 2023-06-13 · in Ask HN: Learning Modern Compilers? -
…but it's galaxy-brained (I watched an hourlong introduction video and could still barely grasp it). https://github.com/salsa-rs/salsa
comment by gavinray · 2022-11-08 · in Differential Datalog: a programming language for incremental computation -
The content of that "Core Concepts" page sounds a lot like https://github.com/salsa-rs/salsa
comment by pitaj · 2022-10-25 · in Turbopack, the successor to Webpack -
…flow through centralized "request"/"query" APIs that automatically track dependencies - see https://github.com/salsa-rs/salsa for more information ` - research along the lines of ILC (Incremental Lambda Calculus) might yield more…
comment by eddyb · 2022-08-03 · in The end of Optane is bad news -
…the symbols in a database and the linting and completion/semantics are entirely query-driven: https://github.com/salsa-rs/salsa Good video describing it's use for working with Rust's AST: https://youtu.be/i_IhACacPRY?t=1348
comment by gavinray · 2020-07-19 · in Turning the IDE Inside Out with Datalog -
…protoype Rust's implementation of query-based compilation. https://github.com/lark-exploration/lark https://github.com/salsa-rs/salsa
comment by fluffything · 2020-06-26 · in Query-Based Compiler Architectures -
I think the author linked a Rust example of a query-based compiler: https://github.com/salsa-rs/salsa
comment by yingw787 · 2020-06-25 · in Query-Based Compiler Architectures -
…they are writing for the Rust compiler that is being kept in a generic crate for anyone to use See https://github.com/salsa-rs/salsa
comment by epage · 2019-07-25 · in The Rust compiler is still getting faster -
…is what I would expect for most incremental computing frameworks. Skip seems to be more ambitious. https://github.com/salsa-rs/salsa I believe that the Skip language does this, because it's compiler is self-hosted. It's…
comment by chubot · 2019-05-13 · in Why CRDT didn't work out as well for collaborative editing xi-editor