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

🤓 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

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

Reification of continuations lets you do some neat things.

#lisp #scheme #callcc #plt

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

Continuations Brief Summary — trop.in

- Lie derivative of a tensor is another tensor of the same type
This is like #callcc but for tensors