X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week4_fixed_point_combinator.mdwn;h=b430f2fdc95718e49a574599cce354c2968e5439;hp=30b3745e1e6840c54fe3b5e511b7b48edf1f5826;hb=d81cbaccd2860fe60bab1e4ea04806131b3a0312;hpb=02807170e61a338b91cc8f094837372a3c55a359 diff --git a/topics/_week4_fixed_point_combinator.mdwn b/topics/_week4_fixed_point_combinator.mdwn index 30b3745e..b430f2fd 100644 --- a/topics/_week4_fixed_point_combinator.mdwn +++ b/topics/_week4_fixed_point_combinator.mdwn @@ -379,7 +379,7 @@ This fixed point is bit wierd. Let's reduce it a bit more: ~~> \yy.(\fy.ff)(\fy.ff) ~~> \yyy.(\fy.ff)(\fy.ff) -It appears that where `K` is a function that ignores (only) the first +It appears that where `K` is a function that ignores (only) the second argument you feed to it, the fixed point of `K` ignores an endless, infinite series of arguments. It's a write-only memory, a black hole.