[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Surprising behaviour of 'append' with strings
From: |
Emanuel Berg |
Subject: |
Re: Surprising behaviour of 'append' with strings |
Date: |
Sun, 06 Nov 2022 21:57:41 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Heerdegen wrote:
>> Strings are not really lists of characters. Well,
>> conceptually they are! And `append' seems to agree ...
>
> Lists and strings are sequences.
Hm, I wonder what those are called according to
CS Type theory? Metatypes?
https://en.wikipedia.org/wiki/Type_theory
--
underground experts united
https://dataswamp.org/~incal
- Surprising behaviour of 'append' with strings, R. Diez, 2022/11/06
- Re: Surprising behaviour of 'append' with strings, Eli Zaretskii, 2022/11/06
- Re: Surprising behaviour of 'append' with strings, Jean Louis, 2022/11/06
- Re: Surprising behaviour of 'append' with strings, Emanuel Berg, 2022/11/06
- Re: Surprising behaviour of 'append' with strings, Emanuel Berg, 2022/11/06
- Re: Surprising behaviour of 'append' with strings, Michael Heerdegen, 2022/11/06