this post was submitted on 23 Apr 2026
10 points (100.0% liked)

Haskell

638 readers
2 users here now

founded 2 years ago
MODERATORS
haskman@programming.dev
10
Rust-style Borrow Checker Implemented in Linear Haskell (github.com)
submitted 1 month ago* (last edited 1 month ago) by ultimate_worrier@lemmy.dbzer0.com to c/haskell@programming.dev
2 comments fedilink hide all child comments
 

I saw this just now on the Haskell discourse. Rust’s linear borrow checker in Haskell.

TL;DR You can now use Rust-style mutable and shared borrows in Linear Haskell, within ST-like linear monad, BO, with pure, type-safe, and leak-freedom support of mutation and concurrency! It comes with flexible feature of multiple aliasing of shared borrows, delimiting lifetime regions, etc!

all 4 comments
sorted by: hot top controversial new old
[–] jjj@lemmy.blahaj.zone 2 points 1 month ago (1 children)

The title mentions "Linear Haskell" and "Rust-style borrows".