{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreielikt764rkeradbd2z76niiscijaaseu4p33sdaannxb5olnaq6m",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mlqz6jiudii2"
  },
  "path": "/t/knownnat-indexed-vectors/14099#post_7",
  "publishedAt": "2026-05-13T19:07:45.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "The function is more like an interface compared to an array, which is an implementation.\n\niirc, “Algebra Driven Design” has a whole part where it discusses using functions like this.\n\nThis style is what puts the F in FP. I rarely see it in industry sadly. Industrial Haskell smells more like Java than Scheme",
  "title": "KnownNat-indexed vectors"
}