Skip to content

Conversation

@srittau
Copy link
Member

@srittau srittau commented Jul 16, 2025

Also improve the generated package descriptions:

  • List type checkers using a markdown list.
  • Link the type checkers in that list.
  • Instead remove the mention of specific type checkers from the
    introduction. (This removes mentions of pyre and PyCharm,
    but I assume that at some point we will add pyrefly to the supported
    type checkers anyway.)
  • Use "type checkers" instead of "type-checking tools".

Also improve the generated package descriptions:

* List type checkers using a markdown list.
* Link the type checkers in that list.
* Instead remove the mention of specific type checkers from the
  introduction. (This removes mentions of pyre and PyCharm,
  but I assume that at some point we will add pyrefly to the supported
  type checkers anyway.)
* Use "type checkers" instead of "type-checking tools".
@srittau
Copy link
Member Author

srittau commented Jul 16, 2025

Cf. python/typeshed#11958

[pytype](https://github.com/google/pytype/),
[Pyre](https://pyre-check.org/),
PyCharm, etc. to check code that uses `{distribution}`. This version of
This is a [PEP 561](https://peps.python.org/pep-0561/) type stub package for
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What do you think of linking to the spec (https://typing.python.org/en/latest/spec/distributing.html#type-information-in-libraries) instead of PEP 561? PEPs are not ongoing documentation after all.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There's also a link to "partial" that needs to be replaced. But let me do that in a followup PR.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@srittau
Copy link
Member Author

srittau commented Jul 26, 2025

Pingety pong. I'd like to finish this in typeshed.

@srittau srittau merged commit f967432 into main Jul 26, 2025
6 checks passed
@srittau srittau deleted the rm-pytype branch July 26, 2025 14:41
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.

3 participants