EPepage·Jul 25, 2019
Salsa is an example of logic 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
In The Rust compiler is still getting fastersalsa-rs
salsa
Rust2019–2026
salsa-rs / salsa
salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
16Distinct people
17Mentions
0Explicit recommenders
3KGitHub stars
What to know before exploring
What it is
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
GitHub
Where it is used
No documented product use was verified in the last source check.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 8–Nov 15 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/15/2026, 2:04:58 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year17 dated mentions
Observed mentions: 2019-05-13 18:02:04 UTC to 2026-10-21 01:11:31 UTC.
* An incomplete calendar period is marked with an outlined bar. Its count is not directly comparable with a full period.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 4 | 0 | 4 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2026 (partial) | 2026-01-01 00:00:00 UTC | 2027-01-01 00:00:00 UTC | 2 | 0 | 2 |
What Hacker News says
2 sourcesThe Skip language (which I mentioned in another comment) is a language based entirely on incremental computation. Every piece of code you write in it becomes incremental, as far as I know.
AND the compiler is self-hosted!!! So that means they have a fully incremental compiler.
Although there is an LLVM back end, so maybe only the front end of the compiler is incremental? That's still important. It comes from the same people as the Hack language, which I believe has a fast "online" typechecker -- which I think is incremental (?)
I believe you could write a C compiler in Skip the same way?
If you peek at the source code, it has a 6000 line recursive descent parser, and 6000 line type checker, much in the style of OCaml (but in Skip).
I think this deserves a blog post because it's not clear to me that the message of Skip got through (7 m
Read the rest
onths ago on HN). Their website has some examples, but not too many.
Of course, I haven't tried it yet, and it's a super ambitious project, so there could be some big problem with it.
But if the goal is to make an entire suite of compiler and devtools that are incremental, then Skip seems like it's ahead of the state of the art and something to borrow from.
Salsa was also mentioned, and I believe it's based on some of the same academic work like Adapton. But I don't know if they have an entire self-hosted compiler as a demo like Skip does. It seems to be "query-oriented" rather than supporting arbitrary code, which 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
http://skiplang.com/blog/2017/01/04/how-memoization-works.ht...
https://github.com/skiplang/skip/tree/master/src/frontend
Skip – A programming language to skip the things you have already computed https://news.ycombinator.com/item?id=18077612
https://github.com/skiplang/skip/blob/master/src/frontend/sk...