{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidmyj3rmfmqoyisna7k5areynd75wehl2q2ig5hnhuljv22vuy4qa",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3ml2ztlpfbfo2"
  },
  "path": "/t/ann-pure-borrow-0-0-0-0/14037#post_1",
  "publishedAt": "2026-05-05T00:25:43.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Pure Borrow: Linear Haskell Meets Rust-Style Borrowing",
    "Hackage",
    "pure-borrow",
    "our original paper"
  ],
  "textContent": "We are pleased to announce the first release of Pure Borrow: Linear Haskell Meets Rust-Style Borrowing\n\nHackage\n\n### pure-borrow\n\nRust-style borrowing in Linear Haskell with purity\n\nAlthough the implementation is in somewhat usable stage, but it is still under heavy development. See the previous post on Discourse for the detailed explanation.\nThis release covers API described in our original paper, plus some experimental feature like record borrow splitting or generalized reborrows.\n\nFeeedbacks are always welcome! Happy Linear Haskelling!",
  "title": "[ANN] pure-borrow-0.0.0.0"
}