X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek4_more_about_fixed_point_combinators.mdwn;h=51d8b884974e017ac02328526e93a705f058bc9c;hp=17d8eaba3efc477764180baa20186332f2f19327;hb=3434907c52616d84d7a83cfe2c7348e936442f24;hpb=14cda93136c935ddbe8004120e4842b3808c107a diff --git a/topics/week4_more_about_fixed_point_combinators.mdwn b/topics/week4_more_about_fixed_point_combinators.mdwn index 17d8eaba..51d8b884 100644 --- a/topics/week4_more_about_fixed_point_combinators.mdwn +++ b/topics/week4_more_about_fixed_point_combinators.mdwn @@ -311,8 +311,7 @@ so `A 4 x` is to `A 3 x` as hyper-exponentiation is to exponentiation... according to what ordering? How do you know it's least? Is leastness important? -## Q: I still don't fully understand the Y combinator. Can you - explain it in a different way? +## Q: I still don't fully understand the Y combinator. Can you explain it in a different way? Sure! Here is another way to derive Y. We'll start by choosing a specific goal, and at each decision point, we'll make a reasonable