Tue Mar 16 14:27:03 CET 2010

When is a stage a stage?

I'm getting confused counting the number of stages/levels in Staapl.
Essentially this is about the number of data -> code transition steps.
But that seems arbitrary, as it is possible to encode staging in
higher order functions.

So where to draw the line?

Another problem: (intuitively) complexity seems to be added mostly at
the pattern matching stage.  Maybe this is because that is the point
where branching/alternatives are introduced?  I.e. the combinatorial
part of computation.  Compared to computation by pattern matching,
composition of higher order functions seems straightforward.