[ANN] pure-borrow-0.0.0.0

We are pleased to announce the first release of Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

Hackage

pure-borrow

Rust-style borrowing in Linear Haskell with purity

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!