Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

At long last, we’ve just made the first Hackage release

[ANN] pure-borrow-0.0.0.0 Announcements

We are pleased to announce the first release of Pure Borrow: Linear Haskell Meets Rust-Style Borrowing Although the implementation is in somewhat usable stage, but it is still under heavy development. See the previous post on Discourse for the detailed explanation. This release covers API described in our original paper, plus some experimental feature like record borrow splitting or generalized reborrows. Feeedbacks are always welcome! Happy Linear Haskelling!

Hackage

pure-borrow

Rust-style borrowing in Linear Haskell with purity