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.