Re: Insertions

On Thursday 03 March 2022 18:46:09 (+01:00), Norm Tovey-Walsh wrote:

> Steven Pemberton <steven.pemberton@cwi.nl> writes:
> > Some time ago Tom suggested using +"abc" to signal a textual insertion
> > into the serialisation, which we put on a backburner. But I ended up
> > thinking about it today anyway.
>
> It’s nice. On the whole, I think I prefer “^” to “+”, but the bigger
> question, I think, is whether not we should be taking this up now.

True, except, if we anticipate changing the meaning of "^" in the future, we should make sure we don't create legacy with "^" meaning something else.

Steven 

Received on Friday, 4 March 2022 11:44:28 UTC