Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
Summary
The post announces Pure Borrow, a project that brings Rust-style mutable and shared borrows into Linear Haskell’s ST-like monad BO, enabling pure, type-safe, leak-free mutation and concurrency with flexible lifetime regions. It explains Mut and Share borrows, lifetimes, sublifetime sharing, and a parallel quicksort example, with links to the arXiv paper and GitHub implementation. The article highlights safety guarantees, discusses challenges with GHCi, and points toward further exploration and potential performance benefits.