{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifmzrj7rap2htfl7eiijwiy3ougyr4szbxa36n3smo7awwq5rok3a",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhxnnmdhqpp2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242#post_23",
  "publishedAt": "2026-03-25T19:41:38.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "I think observably, nothing has hit ghc master recently related to DH? At least nothing significant. Maybe Serokell will provide an update, but afaiu the DH work is self-funded and not funded by anyone with big bucks [1]. So maybe they are working hard at their business rn in these tougher times\n\n[1] And tbh there is a paradox here..companies with big bucks tend to not be as interested in DH. Or even opposed to it. It’s a shame, but Actual skill and smarts are not valued by corporations. Even less so in this AI age where Haskell seems to be more appealing as a typesafe slop bytecode rather than an expressive programming language.",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}