Abstracting a bit, this is an application of the principle "represent important intermediate results as explicit data structures". It shows up in many places: t

Abstracting a bit, this is an application of the principle "represent important intermediate results as explicit data structures". It shows up in many places: testing, extensibility, logging, and parallelization are all easier to implement when the result is represented explicitly instead of implicitly in the program's call stack. Has anyone written about this idea? It seems to have some interesting interaction with laziness.