{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiddv4eilrpgmo2qzq335b675j7e3bfxwffwdz3p4ofmpdcagfxhje",
    "uri": "at://did:plc:qjunvgzyklxu7a3fc3mf5szx/app.bsky.feed.post/3meild7xlwtf2"
  },
  "path": "/engineering/2026-02-09-what-functional-programmers-get-wrong-about-systems/",
  "publishedAt": "2026-02-09T00:00:00.000Z",
  "site": "https://iankduncan.com",
  "textContent": "Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.",
  "title": "What Functional Programmers Get Wrong About Systems"
}