[ANN] pure-borrow-0.0.0.0

Announcements
1

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

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! :lollipop:

17 Likes
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
2

Could you upload haddocks?

1 Like
3

Iā€™m waiting for Hackage build server to generate ones. If none available after some hours, I will consider uploading.

1 Like
4

Ah it seems that Hackage server just failed to build the library, as they are using GHC 9.8 on server side. I will try to generate documents and upload it accordingly.

5

Just uploaded! Control.Monad.Borrow.Pure

7 Likes