specification by implications and example Matthias Felleisen (16 Jan 2000 14:49 UTC)
Re: specification by implications and example Per Bothner (16 Jan 2000 21:33 UTC)
Re: specification by implications and example Shriram Krishnamurthi (16 Jan 2000 23:28 UTC)
Re: specification by implications and example Per Bothner (17 Jan 2000 00:14 UTC)
Re: specification by implications and example Matthias Felleisen (17 Jan 2000 00:34 UTC)
Re: specification by implications and example Shriram Krishnamurthi (17 Jan 2000 00:52 UTC)
Re: specification by implications and example Per Bothner (17 Jan 2000 01:38 UTC)

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/