Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
Summary
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 o...
Description
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 o...
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source