Get the latest tech news

Borrowchecker.jl – Designing a borrow checker for Julia


Experimental API for borrow checking in Julia. Contribute to MilesCranmer/BorrowChecker.jl development by creating an account on GitHub.

This package demonstrates Rust-like ownership and borrowing semantics in Julia through a macro-based system that performs runtime checks. The aim is to build a development layer that, eventually, can help prevent a few classes of memory safety issues, without affecting runtime behavior of code. @managed begin ... end: create a scope where contextual dispatch is performed using Cassette.jl: recursively, all functions ( in all dependencies) are automatically modified to apply@take!

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Julia

Julia

Photo of borrow checker

borrow checker

Photo of Borrowchecker.jl

Borrowchecker.jl

Related news:

News photo

Four limitations of Rust's borrow checker

News photo

Stop making me memorize the borrow checker

News photo

A comparison of Rust’s borrow checker to the one in C#