News for hackers. Stuff that matters.
Re:Garbage collected smart pointers in Rust via concurrent c... by throwaway81523 on Friday December 13, 2024 @03:20PM (#42411995)
I wonder if there is an STM (software transactional memory) implementation that uses the borrow checker that way, similar to how Haskell's STM monad uses Haskell's type system to ensure nothing leaks.

There are no comments on this comment yet.