{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiec7md3rgetr6kdyd7aekjn2ipavu2op66frjp7nhizkd5t5vdofi",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mjxhaizcemj2"
  },
  "path": "/t/whats-your-go-to-haskell-trick-for-beginners/13957#post_7",
  "publishedAt": "2026-04-20T21:16:08.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "lecture notes"
  ],
  "textContent": "Recursion is usually a pain point—not quite how to run recursive code, but rather how to think up recursive code in the first place.\n\nI had no trouble because I found myself thinking in terms of induction proofs. Later I found that Graham Hutton, Ralf Hinze, et al. advocate the same. You don’t have the code yet, but you start the proof [template] anyway and discover a solution along the way.\n\nI now teach it at the beginning: my lecture notes.",
  "title": "What's Your Go-To Haskell Trick for Beginners?"
}