Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Submission for SC consideration: PEP 675 -- Arbitrary Literal String Type #108

Closed
pradeep90 opened this issue Feb 16, 2022 · 2 comments
Closed
Labels
PEP Python Enhancement Proposal

Comments

@pradeep90
Copy link

Please consider PEP 675 for inclusion in Python 3.11. This is primarily of interest to users of static type checkers. It introduces a supertype for precise literal string types, such as Literal["foo"], called LiteralString.

The PEP has been discussed at length in typing-sig (thread 1, thread 2) and on the draft doc. We have also notified python-dev. There is also a Reddit thread and a BPO issue mentioning the PEP.

We have a reference implementation of the type checking part in Pyre and an implementation of the LiteralString special form in typing_extensions.py (PR).

CC: @gbleaney @JelleZijlstra

https://www.python.org/dev/peps/pep-0675/

@encukou
Copy link
Member

encukou commented Feb 16, 2022

Thanks! I added it to the agenda.

@brettcannon brettcannon added the PEP Python Enhancement Proposal label Feb 16, 2022
@gpshead
Copy link
Member

gpshead commented Mar 21, 2022

@gpshead gpshead closed this as completed Mar 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PEP Python Enhancement Proposal
Projects
None yet
Development

No branches or pull requests

4 participants