home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / lisp / mcl / 1194 < prev    next >
Encoding:
Text File  |  1992-08-12  |  3.0 KB  |  76 lines
  1. Path: sparky!uunet!olivea!apple!cambridge.apple.com!kab
  2. From: kab (Kim Barrett)
  3. Newsgroups: comp.lang.lisp.mcl
  4. Subject: Re: Apply
  5. Message-ID: <9208121541.AA03146@cambridge.apple.com>
  6. Date: 12 Aug 92 16:42:51 GMT
  7. Sender: info-mcl-request@cambridge.apple.com
  8. Lines: 62
  9. Approved: comp.lang.lisp.mcl@Cambridge.Apple.C0M
  10. Full-Name: Kim Barrett
  11. Original-To: Denis R Howlett <drh@world.std.com>
  12. Original-Cc: MacLisp Info Line <info-macl@cambridge.apple.com>
  13.  
  14. > Much of this code is created with backquotes so that variables can be
  15. > insterted, a simple example might be:
  16. > 
  17. > (defun make-menu-items (items)
  18. >   (let (menu-items)
  19. >     (dolist (item items)
  20. >       (push (make-instance ...
  21. >                            :attached-function
  22. >                            `(lambda (window)
  23. >                           (declare (ignore window))
  24. >                               (print ',item)))))))
  25. > 
  26. > I know the code isn't quite right but you get the idea, each lambda
  27. > expression is created at run time.
  28. > 
  29. > The solution I have adopted (but don't like) is to make the function
  30. > dispatcher more intelligent and do the following:
  31. > 
  32. > ;; attached-function & window are bound in preceding lines
  33. >   (funcall (if (listp attached-function)
  34. >               (eval `(function ,attached-function))
  35. >               attached-function)
  36. >            window)
  37. > 
  38. > This allows my dispatcher to deal with all the things that funcall (and
  39. > apply used to deal with), but I always thought it was bad form to use eval
  40. > in the middle of code? ...
  41.  
  42. Much better would be to flush that hacked up function dispatcher and instead 
  43. either use closures, i.e.
  44.  
  45.   (defun make-menu-items (items)
  46.     (let (menu-items)
  47.       (dolist (item items)
  48.         (let ((closed-item item))      ; ensure new binding for each item
  49.           (push (make-instance ...
  50.                   :attached-function #'(lambda (window)
  51.                                          (declare (ignore window))
  52.                                          (print closed-item)) ; close over item
  53.                   ...)
  54.                 ...
  55.  
  56. or if you *really* need to be computing a lambda-expression, do the coercion 
  57. once there rather than redoing it each time you try to invoke it.  Also, the 
  58. "approved" way to do the coercion is
  59.  
  60.   (COERCE lambda-expression 'FUNCTION)
  61.  
  62. (see CLtL2, p.65).  One warning about this however; MCL2.0 final contains a 
  63. buggy compiler-macro for this particular use of coerce.  I expect this will be 
  64. fixed in some future patch, and in the meantime you can do what I did to work 
  65. around the problem, i.e. use something like the following function
  66.  
  67.   ;; MCL2.0 compiler-macro for coerce to function is buggy, so declare
  68.   ;; coerce notinline to inhibit the transformation.
  69.   (defun coerce-lambda-expression-to-function (lambda-expression)
  70.     (declare (notinline coerce))
  71.     (coerce lambda-expression 'function))
  72.  
  73. ps. The line "(let ((closed-item item)) ..." is needed because you don't (in 
  74. general) know whether dolist establishes a fresh binding for each iteration or 
  75. uses the same binding repeatedly (by setq'ing it for each iteration).
  76.