Hi
I don't think there is a reasonable objection to forbid a form like
((returns-something-funcallable arg1 arg2 ... argN) 1 2 3 ... N)
from "working as expected". As Martin pointed out, if the return value of the form is a "macro" then this would have to be interpreted in the "regular" evaluation regime.
As per "extending" LET there have been a lot of proposals... IMHO a nice one is to go the LOOP way :)
(LETS [var <symbol> <form>]* [fun (<name> <arglist> <body>)]* [labels (<name> <arglist> <body>)]* [values <list> <form>]* IN <body>)
Of course you can add some ways of extending the syntax by having something like
(def-lets-binding <tag> ...)
You get the idea....
Cheers -- MA
On May 25, 2011, at 17:51 , Matthew Swank wrote:
Alessio Stalla <alessiostalla@...> writes:
On Wed, May 25, 2011 at 4:45 PM, Matthew Swank <akopa.gmane.poster@...> wrote:
Pascal Costanza <pc@...> writes:
On 25 May 2011, at 04:51, Matthew D. Swank wrote:
However, consider the following:
((returns-a-function) arg arg ...)
Would it be reasonable to allow this as a legal form as well?
While in principle I like such a thing, I think it doesn't play well with Lisp-2 (or more specifically, with Common Lisp). If ((whatever) ...) is a valid expression, then one would expect (let ((foo (whatever))) (foo ...)) to be equivalent, but it's not. And you can't use flet/labels for the same effect.
Well, let bindings could be extended to use an operator to specify the namespace:
(let (((function foo) (lambda (arg ...) ...)) (bar (lambda (arg ...) ...))) (foo ...) (funcall bar ...))
and flet/labels would transform into a generalized let binding.
This would make the standard transformation of let -> function call a little problematic, however.
I suppose at the bottom of all this is an implied primitive binding operator for operators: perhaps flambda!
Matt
pro mailing list pro@common-lisp.net http://lists.common-lisp.net/cgi-bin/mailman/listinfo/pro
-- Marco Antoniotti, Associate Professor tel. +39 - 02 64 48 79 01 DISCo, Università Milano Bicocca U14 2043 http://bimib.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY
Please note that I am not checking my Spam-box anymore. Please do not forward this email without asking me first.