Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!pacbell.com!att!ucbvax!bloom-beacon!dont-send-mail-to-path-lines
From: Alan@lcs.mit.EDU (Alan Bawden)
Newsgroups: comp.lang.scheme
Subject: Keywords do not Apply
Message-ID: <9105011832.AA08508@august>
Date: 1 May 91 18:32:57 GMT
References: <9104300906.aa04392@mc.lcs.mit.edu>
Sender: alan@ai.mit.edu
Organization: The Internet
Lines: 25


   Date: Tue, 30 Apr 91 12:36 GMT
   From: STCS8004%IRUCCVAX.UCC.IE@mitvma.mit.edu
   ...
   However if one uses the eta-conversion (lambda (x y) (f x y)) = f then
   'apply' works as expected:

	(apply (lambda (x y) (and x y)) '(#f #t)) --> #f.
   ...

If you use eta-conversion to argue that 

  (LAMBDA (X Y) (AND X Y))

should be equivalent to just

  AND

then nothing stops me from using eta-conversion to argue that

  (LAMBDA (X Y) (LAMBDA X Y))

should be equivalent to just 

  LAMBDA