Am Di., 1. Sept. 2020 um 20:19 Uhr schrieb John Cowan <xxxxxx@ccil.org>:
>
>
>
> On Tue, Sep 1, 2020 at 7:26 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:
>
>> My suggestion is to allow (not enforce) for an implementation not to
>> distinguish between a range and a vector.
>
>
> I continue to profoundly disagree.  Ranges are immutable by construction (as always, modulo introspection of records and such).  Vectors are not.

I don't understand this argument. Some vectors are mutable, other
vectors aren't mutable.

This is irrelevant for any observable behavior of a program. The
actual question is a different one: Do we want to enable writing
polymorphic code that distinguishes between vectors and ranges?*

Marc

--
* This distinction is not relevant for questions of mutability as
(vector? x) => #t does not imply that x is mutable.