3 ms·
I think people should look at Ascent [1]. I love the way it embeds Rust seamlessly. It's like JSX for Datalog/Rust. [1]: https://github.com/s-arash/ascent http
by sinistersnare 4y ago
I think people should look at Ascent [1]. I love the way it embeds Rust seamlessly. It's like JSX for Datalog/Rust.
[1]: https://github.com/s-arash/ascent https://github.com/s-arash/ascent
- sixwing 4y agoAscent is lovely. The paper on it is really well written, too: https://s-arash.github.io/ascent/cc22main-p95-seamless-deductive-inference-via-macros.pdf https://s-arash.github.io/ascent/cc22main-p95-seamless-deduc...