X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=f749921185e669b8160f967b95636d8d9d510879;hp=39e472bf9a644c1bdac774790ed134f26ab7cf31;hb=b059b718b62f3b4beffb3bd7fbe66af01069f9c9;hpb=e17c03bd8ce5b051ce06e123d3ce65d6086591be diff --git a/week3.mdwn b/week3.mdwn index 39e472bf..f7499211 100644 --- a/week3.mdwn +++ b/week3.mdwn @@ -1,12 +1,3 @@ -[[!toc]] - -##More on evaluation strategies## - -Here are notes on [[evaluation order]] that make the choice of which -lambda to reduce next the selection of a route through a network of -links. - - ##Computing the length of a list## How could we compute the length of a list? Without worrying yet about what lambda-calculus implementation we're using for the list, the basic idea would be to define this recursively: @@ -424,7 +415,7 @@ to *the tail* of the list we were evaluating its application to at the previous ##Fixed-point Combinators Are a Bit Intoxicating## -![tatoo](/y-combinator-fixed.jpg) +![tatoo](/y-combinator.jpg) There's a tendency for people to say "Y-combinator" to refer to fixed-point combinators generally. We'll probably fall into that usage ourselves. Speaking correctly, though, the Y-combinator is only one of many fixed-point combinators. @@ -592,9 +583,7 @@ truth and circularity](http://tinyurl.com/2db62bk) for an approach that is similar, but expressed in terms of non-well-founded sets rather than recursive functions. -##However...## - -You should be cautious about feeling too comfortable with +HOWEVER, you should be cautious about feeling too comfortable with these results. Thinking again of the truth-teller paradox, yes, Ω is *a* fixed point for `I`, and perhaps it has some a privileged status among all the fixed points for `I`, being the