FAIC: CPS Revisited

Eric Lippert of Fabulous Adventures In Coding has posted a series on CPS tranformation and different control flow abstractions. Good stuff — recommended reading for translating the crazy stuff I talk about into ‘normal’ code. Continuation Passing Style Revisited, Part One. Continuation Passing Style Revisited Part Two: Handwaving about control flow. Continuation Passing Style Revisited […]

Functional Programming, Reductio

Came across a slide deck via Reddit with an excellent point, cutting across the various functional programming diciplines: Central to the thesis of FP is the notion of referential transparency. Referential transparency leads to program compositionality. // #1 X x = function(); R r1 = arbitrary(x); R r2 = arbitrary(x); // #2 R r1 = arbitrary(function()); R […]

GOTOs inconvenient

From “The Discovery of Continuations” The talk actually had one direct and important consequence for computing. Under the inspiration of the notion of the unnecessity of goto’s, Dijkstra spent that evening constructing realistic examples of programs without goto’s, … So while van Wijngaarden said that goto’s were unnecessary … , Dijkstra stretched the point to […]