Skip to content

design: pyfun-lang is the PyPI name, not a fallback - #83

Merged
simontreanor merged 1 commit into
mainfrom
naming-settled
Aug 29, 2026
Merged

design: pyfun-lang is the PyPI name, not a fallback#83
simontreanor merged 1 commit into
mainfrom
naming-settled

Conversation

@simontreanor

Copy link
Copy Markdown
Owner

The naming section in DESIGN.md still read:

pyfun-lang is the distribution fallback if PyPI/GitHub pyfun collide with abandoned existing projects

That collision happened in 2015 and pyfun-lang has been the published name for six releases, so a conditional about a possible future reads as an open question when it is a closed one. It now states the name, gives the reason, and says to write it without hedging.

Nothing else in the repo needed changing: the README, learning site, educator pack and VS Code listing all already say pyfun-lang plainly.

For context on why this is settled rather than pending: the PEP 541 request for the bare name stays filed, but pypi/support currently has 311 open requests, 259 of them older than ours, against roughly 65 closed in the past two months. That is around eight months of queue at current throughput, so it is not something to plan around. If it ever lands, the switch is a one-line change to pyproject.toml with pyfun-lang kept as an alias.

The naming section still described pyfun-lang as what would happen if the bare
name collided. It collided in 2015 and pyfun-lang has been the published name
for six releases, so the conditional reads as an open question that is closed.

The PEP 541 request for the bare name stays filed and is not planned around:
259 older requests sit ahead of it against roughly 32 closed a month, so it is
months away and a grant would be a bonus rather than a milestone.
@simontreanor
simontreanor merged commit 697a7b5 into main Aug 29, 2026
16 checks passed
@simontreanor
simontreanor deleted the naming-settled branch August 29, 2026 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant