ass10 tweak
[lambda.git] / week4.mdwn
index fca995e..58d6bc3 100644 (file)
@@ -520,12 +520,11 @@ but really all we're in a position to mean by that are claims about the result
 of the complex expression semantically depending only on this, not on that. A
 demon evaluator who custom-picked the evaluation order to make things maximally
 bad for you could ensure that all the semantically unnecessary computations got
 of the complex expression semantically depending only on this, not on that. A
 demon evaluator who custom-picked the evaluation order to make things maximally
 bad for you could ensure that all the semantically unnecessary computations got
-evaluated anyway. We don't have any way to prevent that. Later,
-we'll see ways to *semantically guarantee* one evaluation order rather than
-another. Though even then the demonic evaluation-order-chooser could make it
-take unnecessarily long to compute the semantically guaranteed result. Of
-course, in any real computing environment you'll know you're dealing with a
-fixed evaluation order and you'll be able to program efficiently around that.
+evaluated anyway. We don't yet know any way to prevent that. Later, we'll see
+ways to *guarantee* one evaluation order rather than another. Of
+course, in any real computing environment you'll know in advance that you're
+dealing with a fixed evaluation order and you'll be able to program efficiently
+around that.
 
 In detail, then, here's what our v5 lists will look like:
 
 
 In detail, then, here's what our v5 lists will look like:
 
@@ -593,15 +592,15 @@ detail](http://okmij.org/ftp/Streams.html#enumerator-stream).
 >      
 >      Well, the right fold of `f` over a list `[a;b;c;d;e]`, using starting value z, is:
 >      
 >      
 >      Well, the right fold of `f` over a list `[a;b;c;d;e]`, using starting value z, is:
 >      
->              f a (f b (f c (f d (f e z))))
+>                      f a (f b (f c (f d (f e z))))
 >      
 >      
->      The left fold on the other hand starts combining `z` with elements from the left. `f z z` is then combined with `b`, and so on:
+>      The left fold on the other hand starts combining `z` with elements from the left. `f z a` is then combined with `b`, and so on:
 >      
 >      
->              f (f (f (f (f z a) b) c) d) e
+>                      f (f (f (f (f z a) b) c) d) e
 >      
 >      or, if we preferred the arguments to each `f` flipped:
 >      
 >      
 >      or, if we preferred the arguments to each `f` flipped:
 >      
->              f e (f d (f c (f b (f a z))))
+>                      f e (f d (f c (f b (f a z))))
 >      
 >      Recall we implemented v3 lists as their own right-fold functions. We could
 >      instead implement lists as their own left-fold functions. To do that with our
 >      
 >      Recall we implemented v3 lists as their own right-fold functions. We could
 >      instead implement lists as their own left-fold functions. To do that with our