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 must log in or # to comment.
The title mentions “Linear Haskell” and “Rust-style borrows”.
deleted by creator
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/).
deleted by creator
