Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

[konn]

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

[ANN] pure-borrow-0.0.0.0

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!

pure-borrow