My least favorite bugs are usually caused by: Thread races Aliased memory While Rust doesn’t fill the same niche as Julia with respect to scientific computing, I really like the safety guarantees around ownership and borrow checker. At the expense of flexibility of code, the model provides some f…

Alright I hacked together an example – BorrowChecker.jl: [image] GitHub - MilesCranmer/BorrowChecker.jl: A borrow checker for Julia A borrow checker for Julia It is very manual; it basically requires the user to use the macros to do anything. Maybe in …

Btw @mbauman do you know if there are any new features I should be aware of regarding aliasing detection? I took a look at What's the aliasing story in Julia . The reason I’m interested in it is because Rust has this feature of allowing multiple mutable references to an object if they point at non-o…

[image] MilesCranmer: However, this is only safe because the compiler can prove whether fields are aliased or not. Isn’t that “just” more borrow checking at work? Maybe that’s pedantic, but fundamentally it really shouldn’t matter whether your objects come from fields of the same struct or d…

Yeah I think you’re right. I guess in my head I was assuming that objects being passed into @bind might be unsafe due to being created outside of the borrow checker. But if you did create it within the framework, then I think (?) you are correct? e.g., if I pass in data from the “real world” to the…

[image] MilesCranmer: However, this is only safe because the compiler can prove whether fields are aliased or not. [image] MilesCranmer: But in Julia I’m not sure if this is possible? If it’s statically knowable like literal/constant fields then it should be possible. Base.mightalias w…

[image] mbauman: Edit: Actually, this is very Cassette.jl ish. I think this could actually be the proper way to pull this off? It looks perfect.

Would the newer compiler plugin interface be preferred these days over using Cassette.jl?

Is there an equivalent of Cassette.overdub in the new interface?

(I don’t know. That question was for someone more knowledgeable than me. :slight_smile:)

@mbauman nice recommendation – it works!! Check this out: julia> using BorrowChecker julia> @bind x = 1 Bound{Int64}(1) julia> f(x::Int) = x^2 f (generic function with 1 method) julia> result = BorrowChecker.managed() do # Enters Cassette.@overdub context f(x) end 1 …

Of course now the trouble is that Cassette doesn’t work on 1.12, and I’m similarly out of touch on what’s happening in this space. But yes, I suspect this sort of approach will work much better.

Package for Rust-like borrow checker in Julia?

General Usage

Topic		Replies	Views
[ANN] BorrowChecker.jl: a borrow checker for Julia Package Announcements package	35	1939	April 16, 2025
Designing a borrow checker for Julia General Usage question , package	8	924	January 25, 2025
[ANN] Automatic borrow checking at the compiler level, with BorrowChecker.Auto Package Announcements package	36	1738	January 25, 2026
Explicit denotation of variability and immutability Internals & Design proposal	97	9446	November 5, 2018
Why I can't set what parameters are mutable explicitly? Offtopic functions	170	6655	August 23, 2022

Package for Rust-like borrow checker in Julia?

Related topics