In defence of the two-namespace rule

[Aahz Maruch]

In article <slrn891l2f.5tk.cjc26 at bridget.mindriot.net>,
Cliff Crawford <cjc26 at nospam.cornell.edu> wrote:
>
>	(kicked(the ball))(John)
>
>In that last one, "kicked" represents a curried (or
>Schoenfinkelized :) function; it is a function which takes a noun
>phrase X as its argument and which returns another function which
>takes a noun phrase Y as its argument and returns true if Y
>kicked X.  I.e.:
>
>	kicked = lambda(X) (lambda(Y) (if Y kicked X: 1
>	                               else: 0))

My head hurts.
--
                      --- Aahz (@netcom.com)

Androgynous poly kinky vanilla queer het    <*>     http://www.rahul.net/aahz/
Hugs and backrubs -- I break Rule 6

Have a *HAPPY* day!!!!!!!!!!