Pure Borrow: Linear Haskell Meets Rust-Style Borrowing discourse.haskell.org/t/pure-borro...
discourse.haskell.orgPure Borrow: Linear Haskell Meets Rust-Style BorrowingTL;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 wit...
4 reposts24 likes