Archived tweet #11104 from the @leastfixedpoint Twitter ArchiveToday I used continuation-marks to dynamically enforce tail-call behaviour when refactoring an interpreter from direct to continuation-passing style. I then used callable structs and syntax-local-lift-expression to help defunctionalise the continuations. gist.github.com/tonyg/0b3ee2fdâŠ
