Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!samsung!brutus.cs.uiuc.edu!apple!apple.com!chewy From: chewy@apple.com (Paul Snively) Newsgroups: comp.lang.lisp Subject: Re: LISP compiler? Message-ID: <5140@internal.Apple.COM> Date: 10 Nov 89 19:52:52 GMT Sender: usenet@Apple.COM Organization: Apple Computer, Inc. Lines: 21 References:<5081@internal.Apple.COM> <5031@tekcrl.LABS.TEK.COM> In article lou@bearcat.rutgers.edu (Lou Steinberg) writes: [All kinds of stuff about functional arguments] Actually, it's not as bad as it sounds; the whole point behind having a treewalker is to be able to determine whether or not the parameters to some of these "metafunctions" are completely (deterministically) specified within the context of the Lisp environment or not; (EVAL (READ)) is just the most obvious example of one that isn't. I'm not sure that the example of passing a LAMBDA expression to APPLY is valid; there's nothing whatsoever to prevent LAMBDA expressions from being compiled (I'm pretty sure that LAMBDA expressions in MACL are compiled, at any rate). __________________________________________________________________________ Just because I work for Apple Computer, Inc. doesn't mean that they believe what I believe or vice-versa. __________________________________________________________________________ C++ -- The language in which only friends can access your private members. __________________________________________________________________________