{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreic2apmloyhzudn2jcfhrq3h2zgqthlcpmfcmtnk7l5hcczmlf46xi",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mfgl75dlfrk2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242#post_20",
  "publishedAt": "2026-02-22T06:03:09.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Developer Blog Posts — The Glasgow Haskell Compiler"
  ],
  "textContent": "GHC changelog answers this question Developer Blog Posts — The Glasgow Haskell Compiler\n\nafaict, nothing significant. but GHC in the last year imo has been marked by a maturation not at the type level but at the low level. wasm/JS backends have improving. Windows toolchain rework. ghci improvements.\n\nAlong with some simpler but fun new extensions (or patterns!)\n\nProgress",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}