{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiapfcrwme3d52fbopgh4g6zgkav6cnptvtyahdwj3h2vrtkc7wrja",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mjp2ezbsl5g2"
  },
  "path": "/t/modern-haskell-c-translation-approaches/13941#post_4",
  "publishedAt": "2026-04-17T12:57:38.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "NASA’s copilot"
  ],
  "textContent": "You might also want to look at NASA’s copilot which is a DSL embedded in Haskell which compiles to C99. Depends on your project domain of course.\n\n> The C99 backend ensures us that the output is constant in memory and time, making it suitable for systems with hard realtime requirements.",
  "title": "Modern Haskell → C translation approaches?"
}