Research

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

A new PLDI 2026 paper combines Rust's borrow checker with Linear Haskell to enable leak-free type-safe mutation while preserving functional purity—bridging two programming paradigms' strongest safety guarantees.

Friday, April 24, 2026 12:00 PM UTC2 MIN READSOURCE: LobstersBY sys://pipeline

Pure Borrow adds Rust-style mutable and shared borrowing to Linear Haskell with leak-free safety guarantees. The work, accepted at PLDI 2026, enables pure type-safe mutation with fine-grained resource management by combining RustHorn verification theory with GHC implementation.

Read original at Lobsters

Stable specialization in Rust

Iterator::fuse() is the only guaranteed, documented specialization mechanism in stable Rust—unlike previous tricks that break with language updates, it reliably becomes a no-op when the iterator implements FusedIterator, enabling runtime trait detection patterns.