Haskell

638 readers

2 users here now

founded 2 years ago

MODERATORS

haskman@programming.dev

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!

you are viewing a single comment's thread
view the rest of the comments

[–] jjj@lemmy.blahaj.zone 2 points 1 month ago (1 children)

Sorry, I was on my phone. Thanks for fixing it, I was a bit confused by your original title considering there's no linear types in Rust (AFAIK, but there's a library that sort of does it: https://docs.rs/linear_type/latest/linear_type/).