Community preference so far? taylanbayirli@xxxxxx (26 Sep 2015 17:29 UTC)
Re: Community preference so far? Alex Shinn (29 Sep 2015 03:06 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (29 Sep 2015 09:17 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (29 Sep 2015 11:00 UTC)
Re: Community preference so far? Alex Shinn (30 Sep 2015 03:16 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (30 Sep 2015 09:37 UTC)
Re: Community preference so far? Alex Shinn (30 Sep 2015 14:02 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (30 Sep 2015 20:44 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (01 Oct 2015 08:36 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (29 Sep 2015 11:36 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (01 Oct 2015 12:53 UTC)
Re: Community preference so far? Alex Shinn (30 Sep 2015 03:32 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (30 Sep 2015 08:56 UTC)
Re: Community preference so far? Alex Shinn (30 Sep 2015 09:38 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (30 Sep 2015 09:46 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (30 Sep 2015 10:03 UTC)
Re: Community preference so far? Evan Hanson (30 Sep 2015 11:54 UTC)
Re: Community preference so far? taylanbayirli@xxxxxx (30 Sep 2015 22:34 UTC)
Re: Community preference so far? Per Bothner (29 Sep 2015 11:14 UTC)
Re: Community preference so far? John Cowan (29 Sep 2015 12:07 UTC)
Re: Community preference so far? Per Bothner (29 Sep 2015 12:47 UTC)
Re: Community preference so far? Alex Shinn (30 Sep 2015 09:15 UTC)

Re: Community preference so far? taylanbayirli@xxxxxx 30 Sep 2015 09:46 UTC

Alex Shinn <xxxxxx@gmail.com> writes:

> On Wed, Sep 30, 2015 at 5:56 PM, Taylan Ulrich Bayırlı/Kammer
> <xxxxxx@gmail.com> wrote:
>
>     I don't see how MV are "broken." It just seems like slander used
>     by those who dislike their semantics. :-)
>
> You and Alan Bawden both seem to dislike their current semantics:
>
> https://groups.google.com/d/msg/comp.lang.scheme/dKdd_jmYyFA/Q9eo7AQkBgAJ

Nope, that's the semantics of set!, foo-set!, display, etc., not the
semantics of multiple values per se.

And what I dislike about the semantics of those forms is precisely that
they don't utilize MV returns sufficiently; they could return zero
values, which is semantically very intuitive and gives good
error-catching, and instead they're forced to return one value.

> I dislike MV because they complicate the semantics of Scheme,
> breaking compositionality. You can no longer write wrappers
> like memoize, trace, time, etc. without preparing to capture an
> arbitrary number of values, which is slow.

That is indeed an unfortunate issue, but the very same issue exists for
multiple arguments received by a procedure, for which you need to
allocate a rest-arguments list.

> But I've argued this a million times and have no interest in
> continuing the debate.

OK, let's just agree to disagree and say there are pros and cons of
subjective weight.

Taylan