Mastodawn

This inspired me to review continuations in Scheme, which is the first place I encountered call-with-current-continuation or call/cc. A few Wikipedia links that explain things better than I can:

Continuation-passing style was always the part that broke my brain. Imagine function calls that don't return. Instead, you pass one final argument—the continuation—and the function invokes that with the result of its computation!

#scheme #callcc

call-with-current-continuation - Wikipedia

N-gated Hacker News Sep 17, 2025

🤓 Ah yes, the riveting saga of "normal-order syntax-rules" and the elusive call/cc fix-point, where syntax rules magically transform into a proof assistant. 🧙‍♂️ Because what better way to celebrate Daniel P. Friedman than with a marathon of indecipherable jargon and fewer common examples no one asked for. 🎉
https://okmij.org/ftp/Scheme/callcc-calc-page.html #normalordersyntax #syntaxrules #callcc #proofassistant #DanielPFriedman #programmingjargon #HackerNews #ngated

Normal-order syntax-rules and proving the fix-point of call/cc

CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc

Hacker News Sep 17, 2025

Normal-order syntax-rules and proving the fix-point of call/cc

https://okmij.org/ftp/Scheme/callcc-calc-page.html

#HackerNews #NormalOrder #SyntaxRules #CallCC #Scheme #Programming #Proving

Normal-order syntax-rules and proving the fix-point of call/cc

CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc

rk: it’s hyphen-minus actually May 8, 2025

Reification of continuations lets you do some neat things.

#lisp #scheme #callcc #plt

Andrew Tropin Jun 9, 2023

Continuations Brief Summary. Studied the topic a bit and brought you a write-up. Should be interesting for people related to programming, and especially for scheme and lisp users.

https://trop.in/blog/continuations-brief-summary

#programming #scheme #lisp #clojure #commonlisp #callcc #continuation