{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihedfophappkaimeitx7fehbu3ije4fsymcpzr4lfohgexipgtwrm",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mkls45lmogq2"
  },
  "path": "/t/why-microhs-uses-combinators/13992#post_5",
  "publishedAt": "2026-04-28T22:31:04.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "A New Implementation Technique for Applicative Languages",
    "memorial session for David Turner"
  ],
  "textContent": "Turner’s original paper on the topic, A New Implementation Technique for Applicative Languages, is a delightful read. Very approachable, and easy to get started with. And to stray a _little_ off topic, I’d also recommend the Lambda Days memorial session for David Turner (feat. Lennart giving a good demo of translating lambdas to combinators, running the evaluation, and some MicroHS-on-microcontroller).",
  "title": "Why microhs uses combinators?"
}