Thanks for the suggestion! To me the word "known" implies statically known (or knowable) which isn't guaranteed to be the case here. I think perhaps you meant it more in the sense of "this string originates from a known source" (ie. the program itself). In that spirit, what about:

InternalString

The idea here is to imply that the data from the string is internal to the program; there should be no external data in it. That's pretty true to the original inspiration of the PEP, which was trying to solve the problem of keeping attacker controlled (ie. external) data out of strings that will be interpreted as commands.

On Mon, 17 Jan 2022 at 22:37, Shantanu Jain <hauntsaninja@gmail.com> wrote:

Another bikeshed (to help address the concern that "string literal" implies something visible in source code):

KnownString

On Sun, 16 Jan 2022 at 12:36, Graham Bleaney <gbleaney@gmail.com> wrote:
I quite like StringLiteral personally, but I understand Andrew's concerns about "string literal" having a very specific meaning. I think something like LiteralDerivedString more clearly captures what we're trying to achieve with this PEP (ie. any string which is composed of literal strings, with allowances for standard string transformations), but it's also unfortunately more wordy. Thoughts on that option?

On Fri, 14 Jan 2022 at 19:16, Andrew Beyer <beyer.andrew@gmail.com> wrote:
On Wed, Jan 12, 2022 at 2:52 PM Martin DeMello via Typing-sig
<typing-sig@python.org> wrote:
> I would suggest StringLiteral, since that's the common term, and further differentiates it from Literal[str] when read aloud.

Except it's a common term for a different thing. In my experience,
most languages seem to restrict the "string literal" terminology to
mean compile time values that exist in the source code (or at least
could be generated by a constant folding pass.)

As I understand it, a 675String (not my naming suggestion! just a
placeholder :) also includes runtime values that can be assembled from
string literals by way of arbitrary runtime computation. I think
that's an important distinction, and one that would be muddled by
reusing an existing term that typically means something else.

--
Thanks,
Graham Bleaney
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: hauntsaninja@gmail.com