Re: specification by implications and example
Per Bothner 17 Jan 2000 00:13 UTC
Shriram Krishnamurthi <xxxxxx@cs.rice.edu> writes:
> as a procedure application. Can I therefore write
>
> (set! ((lambda (x) x) y) V)
>
> using your SRFI? Your follow-up message suggests not, but nothing in
> the SRFI precludes this. Furthermore, precluding this seems to be
> inconsistent with your desire to be "in the ``spirit of Scheme''".
It is valid syntactically. It expands to:
((setter (lambda (x) x)) y V)
But since (lambda (x) x) does not have a setter associated
with it, you'd get a (run-time) error.
But this is allowed:
(set! ((if (random) car cdr) x) v)
--
--Per Bothner
xxxxxx@bothner.com http://www.bothner.com/~per/