matthieu-m/static-rc
View on GitHub ↗ ★ 461 Rust
Compile-time reference counting
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2022-05-08 · latest 2024-11-17
20082026
-
…if it works. So that provides some motivation for doing something to check at compile time. [1] https://github.com/matthieu-m/static-rc [2] https://internals.rust-lang.org/t/zero-cost-interior-mutabil... [3]…
comment by Animats · 2024-11-17 · in Stop making me memorize the borrow checker -
…types be opaque, if Haskell has something like GhostToken... I could be wrong on that though. [0] https://github.com/matthieu-m/static-rc [1] https://github.com/matthieu-m/static-rc/issues/7 [2] "Linear reference counting" in…
comment by verdagon · 2024-06-23 · in Reference Counting with Linear Types