Am Di., 17. Aug. 2021 um 21:00 Uhr schrieb John Cowan <xxxxxx@ccil.org>:

In SRFI 135, "text" means "immutable sequence of characters". A mutable text would be a contradiction in terms.

R7RS has the notion of mutable and immutable objects.  But it doesn't include a requirement that the two classes of objects are factually disjoint.

A slightly less lenient way would be to drop the two type predicates and to unite them into one.

(I am just thinking aloud here.  Everything that helps to make R7RS-large string types fit naturally into what R7RS-small already provides, helps.)

On Tue, Aug 17, 2021 at 11:34 AM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:

Am Di., 17. Aug. 2021 um 17:04 Uhr schrieb John Cowan <xxxxxx@ccil.org>:

I think the disjointness requirement only means that a string cannot be both mutable and a text, which is already true in Gauche.

Is such a requirement really important? If not, it should probably be dropped.