Notes and TODOsEdit
 TODO: Pour lazy evaluation explanation from Laziness into this mold.
 TODO: better section names.
 TODO: ponder the graphical representation of graphs.
 No grapical representation, do it with
let .. in
. Pro: Reduction are easiest to perform in that way anyway. Cons: no graphic.  ASCII art / line art similar to the one in Bird&Wadler? Pro: displays only the relevant parts truly as graph, easy to perform on paper. Cons: Ugly, no large graphs with that.
 Full blown graphs with @nodes? Pro: look graphy. Cons: nobody needs to know @nodes in order to understand graph reduction. Can be explained in the implementation section.
 Graphs without @nodes. Pro: easy to understand. Cons: what about currying?
 No grapical representation, do it with
 ! Keep this chapter short. The sooner the reader knows how to evaluate Haskell programs by hand, the better.
 First sections closely follow Bird&Wadler
IntroductionEdit
Programming is not only about writing correct programs, answered by denotational semantics, but also about writing fast ones that require little memory. For that, we need to know how they're executed on a machine, commonly given by operational semantics. This chapter explains how Haskell programs are commonly executed on a real computer and thus serves as foundation for analyzing time and space usage. Note that the Haskell standard deliberately does not give operational semantics, implementations are free to choose their own. But so far, every implementation of Haskell more or less closely follows the execution model of lazy evaluation.
In the following, we will detail lazy evaluation and subsequently use this execution model to explain and exemplify the reasoning about time and memory complexity of Haskell programs.
Evaluating Expressions by Lazy EvaluationEdit
ReductionsEdit
Executing a functional program, i.e. evaluating an expression, means to repeatedly apply function definitions until all function applications have been expanded. Take for example the expression pythagoras 3 4
together with the definitions
square x = x * x pythagoras x y = square x + square y
One possible sequence of such reductions is
pythagoras 3 4 ⇒ square 3 + square 4 (pythagoras) ⇒ (3*3) + square 4 (square) ⇒ 9 + square 4 (*) ⇒ 9 + (4*4) (square) ⇒ 9 + 16 (*) ⇒ 25
Every reduction replaces a subexpression, called reducible expression or redex for short, with an equivalent one, either by appealing to a function definition like for square
or by using a builtin function like (+)
. An expression without redexes is said to be in normal form. Of course, execution stops once reaching a normal form which thus is the result of the computation.
Clearly, the fewer reductions that have to be performed, the faster the program runs. We cannot expect each reduction step to take the same amount of time because its implementation on real hardware looks very different, but in terms of asymptotic complexity, this number of reductions is an accurate measure.
Reduction StrategiesEdit
There are many possible reduction sequences and the number of reductions may depend on the order in which reductions are performed. Take for example the expression fst (square 3, square 4)
. One systematic possibility is to evaluate all function arguments before applying the function definition
fst (square 3, square 4) ⇒ fst (3*3, square 4) (square) ⇒ fst ( 9 , square 4) (*) ⇒ fst ( 9 , 4*4) (square) ⇒ fst ( 9 , 16 ) (*) ⇒ 9 (fst)
This is called an innermost reduction strategy and an innermost redex is a redex that has no other redex as subexpression inside.
Another systematic possibility is to apply all function definitions first and only then evaluate arguments:
fst (square 3, square 4) ⇒ square 3 (fst) ⇒ 3*3 (square) ⇒ 9 (*)
which is named outermost reduction and always reduces outermost redexes that are not inside another redex. Here, the outermost reduction uses fewer reduction steps than the innermost reduction. Why? Because the function fst
doesn't need the second component of the pair and the reduction of square 4
was superfluous.
TerminationEdit
For some expressions like
loop = 1 + loop
no reduction sequence may terminate and program execution enters a neverending loop, those expressions do not have a normal form. But there are also expressions where some reduction sequences terminate and some do not, an example being
fst (42, loop) ⇒ 42 (fst) fst (42, loop) ⇒ fst (42,1+loop) (loop) ⇒ fst (42,1+(1+loop)) (loop) ⇒ ...
The first reduction sequence is outermost reduction and the second is innermost reduction which tries in vain to evaluate the loop
even though it is ignored by fst
anyway. The ability to evaluate function arguments only when needed is what makes outermost optimal when it comes to termination:
 Theorem (Church Rosser II)
 If there is one terminating reduction, then outermost reduction will terminate, too.
Graph Reduction (Reduction + Sharing)Edit
Despite the ability to discard arguments, outermost reduction doesn't always take fewer reduction steps than innermost reduction:
square (1+2) ⇒ (1+2)*(1+2) (square) ⇒ (1+2)*3 (+) ⇒ 3*3 (+) ⇒ 9 (*)
Here, the argument (1+2)
is duplicated and subsequently reduced twice. But because it is one and the same argument, the solution is to share the reduction (1+2) ⇒ 3
with all other incarnations of this argument. This can be achieved by representing expressions as graphs. For example,
__________   ↓ ◊ * ◊ (1+2)
represents the expression (1+2)*(1+2)
. Now, the outermost graph reduction of square (1+2)
proceeds as follows
square (1+2) ⇒ __________ (square)   ↓ ◊ * ◊ (1+2) ⇒ __________ (+)   ↓ ◊ * ◊ 3 ⇒ 9 (*)
and the work has been shared. In other words, outermost graph reduction now reduces every argument at most once. For this reason, it always takes fewer reduction steps than the innermost reduction, a fact we will prove when reasoning about time.
Sharing of expressions is also introduced with let
and where
constructs. For instance, consider Heron's formula for the area of a triangle with sides a
,b
and c
:
area a b c = let s = (a+b+c)/2 in sqrt (s*(sa)*(sb)*(sc))
Instantiating this to an equilateral triangle will reduce as
area 1 1 1 ⇒ _____________________ (area)     ↓ sqrt (◊*(◊a)*(◊b)*(◊c)) ((1+1+1)/2) ⇒ _____________________ (+),(+),(/)     ↓ sqrt (◊*(◊a)*(◊b)*(◊c)) 1.5 ⇒ ... ⇒ 0.433012702
which is . Put differently, let
bindings simply give names to nodes in the graph. In fact, one can dispense entirely with a graphical notation and solely rely on let
to mark sharing and express a graph structure.^{[1]}
Any implementation of Haskell is in some form based on outermost graph reduction which thus provides a good model for reasoning about the asympotic complexity of time and memory allocation. The number of reduction steps to reach normal form corresponds to the execution time and the size of the terms in the graph corresponds to the memory used.
Exercises 


Pattern MatchingEdit
So far, our description of outermost graph reduction is still underspecified when it comes to pattern matching and data constructors. Explaining these points will enable the reader to trace most cases of the reduction strategy that is commonly the base for implementing nonstrict functional languages like Haskell. It is called callbyneed or lazy evaluation in allusion to the fact that it "lazily" postpones the reduction of function arguments to the last possible moment. Of course, the remaining details are covered in subsequent chapters.
To see how pattern matching needs specification, consider for example the boolean disjunction
or True y = True or False y = y
and the expression
or (1==1) loop
with a nonterminating loop = not loop
. The following reduction sequence
or (1==1) loop ⇒ or (1==1) (not loop) (loop) ⇒ or (1==1) (not (not loop)) (loop) ⇒ ...
only reduces outermost redexes and therefore is an outermost reduction. But
or (1==1) loop ⇒ or True loop (or) ⇒ True
makes much more sense. Of course, we just want to apply the definition of or
and are only reducing arguments to decide which equation to choose. This intention is captured by the following rules for pattern matching in Haskell:
 Left hand sides are matched from top to bottom
 When matching a left hand side, arguments are matched from left to right
 Evaluate arguments only as much as needed to decide whether they match or not.
Thus, for our example or (1==1) loop
, we have to reduce the first argument to either True
or False
, then evaluate the second to match a variable y
pattern and then expand the matching function definition. As the match against a variable always succeeds, the second argument will not be reduced at all. It is the second reduction section above that reproduces this behavior.
With these preparations, the reader should now be able to evaluate most Haskell expressions. Here are some random encounters to test this ability:
Exercises 

Reduce the following expressions with lazy evaluation to normal form. Assume the standard function definitions from the Prelude.

Higher Order FunctionsEdit
The remaining point to clarify is the reduction of higher order functions and currying. For instance, consider the definitions
id x = x a = id (+1) 41
twice f = f . f b = twice (+1) (13*3)
where both id
and twice
are only defined with one argument. The solution is to see multiple arguments as subsequent applications to one argument, this is called currying
a = (id (+1)) 41 b = (twice (+1)) (13*3)
To reduce an arbitrary application expression_{1} expression_{2}
, callbyneed first reduce expression_{1} until this becomes a function whose definition can be unfolded with the argument expression_{2}
. Hence, the reduction sequences are
a ⇒ (id (+1)) 41 (a) ⇒ (+1) 41 (id) ⇒ 42 (+) b ⇒ (twice (+1)) (13*3) (b) ⇒ ((+1).(+1) ) (13*3) (twice) ⇒ (+1) ((+1) (13*3)) (.) ⇒ (+1) ((+1) 39) (*) ⇒ (+1) 40 (+) ⇒ 41 (+)
Admittedly, the description is a bit vague and the next section will detail a way to state it clearly.
While it may seem that pattern matching is the workhorse of time intensive computations and higher order functions are only for capturing the essence of an algorithm, functions are indeed useful as data structures. One example are difference lists ([a] > [a]
) that permit concatenation in time, another is the representation of a stream by a fold. In fact, all data structures are represented as functions in the pure lambda calculus, the root of all functional programming languages.
Exercises! Or not? DiffLists Best done with foldl (++)
but this requires knowledge of the fold example. Oh, where do we introduce the foldl VS. foldr example at all? Hm, Bird&Wadler sneak in an extra section "Meet again with fold" for the (++) example at the end of "Controlling reduction order and space requirements" :/ The complexity of (++) is explained when arguing about reverse
.
Weak Head Normal FormEdit
To formulate precisely how lazy evaluation chooses its reduction sequence, it is best to abandon equational function definitions and replace them with an expressionoriented approach. In other words, our goal is to translate function definitions like f (x:xs) = ...
into the form f = expression
. This can be done with two primitives, namely caseexpressions and lambda abstractions.
In their primitive form, caseexpressions only allow the discrimination of the outermost constructor. For instance, the primitive caseexpression for lists has the form
case expression of [] > ... x:xs > ...
Lambda abstractions are functions of one parameter, so that the following two definitions are equivalent
f x = expression f = \x > expression
Here is a translation of the definition of zip
zip :: [a] > [a] > [(a,a)] zip [] ys = [] zip xs [] = [] zip (x:xs') (y:ys') = (x,y):zip xs' ys'
to caseexpressions and lambdaabstractions:
zip = \xs > \ys > case xs of [] > [] x:xs' > case ys of [] > [] y:ys' > (x,y):zip xs' ys'
Assuming that all definitions have been translated to those primitives, every redex now has the form of either
 a function application
(\variable>expression_{1}) expression_{2}
 or a caseexpression
case expression of { ... }
lazy evaluation.
 Weak Head Normal Form
 An expression is in weak head normal form, iff it is either
 a constructor (possibly applied to arguments) like
True
,Just (square 42)
or(:) 1
 a builtin function applied to too few arguments (perhaps none) like
(+) 2
orsqrt
.  or a lambda abstraction
\x > expression
.
functions types cannot be pattern matched anyway, but the devious seq can evaluate them to WHNF nonetheless. "weak" = no reduction under lambdas. "head" = first the function application, then the arguments.
Strict and Nonstrict FunctionsEdit
A nonstrict function doesn't need its argument. A strict function needs its argument in WHNF, as long as we do not distinguish between different forms of nontermination (f x = loop
doesn't need its argument, for example).
Controlling SpaceEdit
"Space" here may be better visualized as traversal of a graph. Either a data structure, or an induced dependencies graph. For instance : Fibonacci(N) depends on : Nothing if N = 0 or N = 1 ; Fibonacci(N1) and Fibonacci(N2) else. As Fibonacci(N1) depends on Fibonacci(N2), the induced graph is not a tree. Therefore, there is a correspondence between implementation technique and data structure traversal :
Corresponding Implementation technique  Data Structure Traversal 

Memoization  Depth First Search (keep every intermediary result in memory) 
Parallel evaluation  Breadth First Search (keep every intermediary result in memory, too) 
Sharing  Directed acyclic graph traversal (Maintain only a "frontier" in memory.) 
Usual recursion  Tree traversal (Fill a stack) 
Tail recursion  List traversal / Greedy Search (Constant space) 
The classical :
fibo 0 = 1 fibo 1 = 1 fibo n = fibo (n1) + fibo (n2)
Is a tree traversal applied to a directed acyclic graph for the worse. The optimized version :
fibo n = let f a b m = if m = 0 then a if m = 1 then b f b (a+b) (m1) in f 1 1 n
Uses a DAG traversal. Luckily, the frontier size is constant, so it's a tail recursive algorithm.
NOTE: The chapter Haskell/Strictness is intended to elaborate on the stuff here.
NOTE: The notion of strict function is to be introduced before this section.
Now's the time for the spaceeating fold example:
foldl (+) 0 [1..10]
Introduce seq
and $!
that can force an expression to WHNF. => foldl'
.
Tricky space leak example:
(\xs > head xs + last xs) [1..n] (\xs > last xs + head xs) [1..n]
The first version runs on O(1) space. The second in O(n).
Sharing and CSEEdit
NOTE: overlaps with section about time. Hm, make an extra memoization section?
How to share
foo x y =  s is not shared foo x = \y > s + y where s = expensive x  s is shared
"Lambdalifting", "Full laziness". The compiler should not do full laziness.
A classic and important example for the trade between space and time:
sublists [] = [[]] sublists (x:xs) = sublists xs ++ map (x:) (sublists xs) sublists' (x:xs) = let ys = sublists' xs in ys ++ map (x:) ys
That's why the compiler should not do common subexpression elimination as optimization. (Does GHC?).
Tail recursionEdit
NOTE: Does this belong to the space section? I think so, it's about stack space.
Tail recursion in Haskell looks different.
Reasoning about TimeEdit
Note: introducing strictness before the upper time bound saves some hassle with explanation?
Lazy eval < Eager evalEdit
When reasoning about execution time, naively performing graph reduction by hand to get a clue on what's going on is most often infeasible. In fact, the order of evaluation taken by lazy evaluation is difficult to predict by humans, it is much easier to trace the path of eager evaluation where arguments are reduced to normal form before being supplied to a function. But knowing that lazy evaluation always performs less reduction steps than eager evaluation (present the proof!), we can easily get an upper bound for the number of reductions by pretending that our function is evaluated eagerly.
Example:
or = foldr () False isPrime n = not $ or $ map (\k > n `mod` k == 0) [2..n1]
=> eager evaluation always takes n steps, lazy won't take more than that. But it will actually take fewer.
Throwing away argumentsEdit
Time bound exact for functions that examine their argument to normal form anyway. The property that a function needs its argument can concisely be captured by denotational semantics:
f ⊥ = ⊥
Argument in WHNF only, though. Operationally: nontermination > nontermination. (this is an approximation only, though because f anything = ⊥ doesn't "need" its argument). Nonstrict functions don't need their argument and eager time bound is not sharp. But the information whether a function is strict or not can already be used to great benefit in the analysis.
isPrime n = not $ or $ (n `mod` 2 == 0) : (n `mod` 3 == 0) : ...
It's enough to know or True ⊥ = True
.
Other examples:
foldr (:) []
vs.foldl (flip (:)) []
with ⊥. Can
head . mergesort
be analyzed only with ⊥? In any case, this example is too involed and belongs to Haskell/Laziness.
Persistence & AmortisationEdit
NOTE: this section is better left to a data structures chapter because the subsections above cover most of the cases a programmer not focussing on data structures / amortization will encounter.
Persistence = no updates in place, older versions are still there. Amortisation = distribute unequal running times across a sequence of operations. Both don't go well together in a strict setting. Lazy evaluation can reconcile them. Debit invariants. Example: incrementing numbers in binary representation.
Implementation of Graph reductionEdit
Small talk about Gmachines and such. Main definition:
closure = thunk = code/data pair on the heap. What do they do? Consider . This is a function that returns a function, namely in this case. But when you want to compile code, it's prohibitive to actually perform the substitution in memory and replace all occurrences of by 2. So, you return a closure that consists of the function code and an environment that assigns values to the free variables appearing in there.
GHC (?, most Haskell implementations?) avoid free variables completely and use supercombinators. In other words, they're supplied as extraparameters and the observation that lambdaexpressions with too few parameters don't need to be reduced since their WHNF is not very different.
Note that these terms are technical terms for implementation stuff, lazy evaluation happily lives without them. Don't use them in any of the sections above.
NotesEdit
 ↑ John Maraist, Martin Odersky, and Philip Wadler (May 1998). "The callbyneed lambda calculus". Journal of Functional Programming 8 (3): 257317. http://homepages.inf.ed.ac.uk/wadler/topics/callbyneed.html#needjournal.
ReferencesEdit
 Bird, Richard (1998). Introduction to Functional Programming using Haskell. Prentice Hall. ISBN 0134843460.
 PeytonJones, Simon (1987). The Implementation of Functional Programming Languages. Prentice Hall. http://research.microsoft.com/~simonpj/papers/slpjbook1987/.