[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: specification by implications and example
Shriram Krishnamurthi <shriram@xxxxxxxxxxx> 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)