⟨/⟩ AT Protocol Record Source
at://did:plc:pi6woz4d47bkuws673w2il2r/site.standard.document/3mnw6jyka5bt2
← Back to post
{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifsc64ernimg6qskq24434d4x4vqaj5ngkielrwgkm4giglgegu5i",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mnw6jyka47t2"
  },
  "path": "/t/haskells-missing-mutable-reference-type/14248#post_13",
  "publishedAt": "2026-06-10T06:40:15.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "withIOScopedRef",
    "A reference implementation of IOScopedRef"
  ],
  "textContent": "I’m not sure exactly what implementation you’re thinking of, but a table which grows dynamically is essential to implement withIOScopedRef, which allows references to be allocated dynamically. However, that variable-size table can be implemented as a `Vault` inside a fixed-size table: A reference implementation of IOScopedRef",
  "title": "Haskell's missing mutable reference type"
}