From: barker Date: Mon, 13 Sep 2010 14:00:19 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c88cb71f06a27b98822b3580c5871c7429665674;hp=6501d908788cd4be578ab1aa55db3e43e80f87be --- diff --git a/assignment1.mdwn b/assignment1.mdwn index d0868501..d14f792f 100644 --- a/assignment1.mdwn +++ b/assignment1.mdwn @@ -93,7 +93,7 @@ Now we can write: (p get-first) ; will evaluate to 10 (p get-second) ; will evaluate to 20 -If you're bothered by having the pair to the left and the function that operates on it come second, think about why it's being done this way: the pair is a package that takes a function for operating on its elements as an argument, and returns the result of operating on its elemens with that function. In other words, the pair is also a function. +If you're bothered by having the pair to the left and the function that operates on it come second, think about why it's being done this way: the pair is a package that takes a function for operating on its elements as an argument, and returns the result of operating on its elemens with that function. In other words, the pair is also a function. (Of course, in the untyped lambda calculus, absolutely *everything* is a function: functors, arguments, abstracts, redexes, values---everything.) If you like, you can disguise what's going on like this: