{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihxzwepko2njnhcdcucamqpwrtewmwdj2zpnbou7gebeno5x3xzku",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mipwqozaqoi2"
  },
  "path": "/t/type-level-programming-is-still-programming/13890#post_1",
  "publishedAt": "2026-04-04T19:46:05.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "mchav.github.io",
    "Type-level programming is still programming"
  ],
  "textContent": "mchav.github.io\n\n### Type-level programming is still programming\n\nI was showing a friend my typed dataframe API. The whole pitch was: look, you derive a schema from your data, and then the compiler catches column name typos, type mismatches, all the stuff that would otherwise blow up at runtime. I had a nice demo...",
  "title": "Type-level programming is still programming"
}