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

Page request: mypy #12364

Open
corneliusroemer opened this issue Feb 25, 2024 · 3 comments
Open

Page request: mypy #12364

corneliusroemer opened this issue Feb 25, 2024 · 3 comments
Labels
help wanted You can help make tldr-pages better! new command Issues requesting creation of a new page.

Comments

@corneliusroemer
Copy link
Contributor

Command description

Mypy is a popular optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing

Command details

No response

Documentation

https://mypy-lang.org/

Platform

Common

VCS repository link (e.g. GitHub, GitLab)

https://github.com/python/mypy

Additional information

17.2k Github stars

@corneliusroemer corneliusroemer added help wanted You can help make tldr-pages better! new command Issues requesting creation of a new page. labels Feb 25, 2024
@MIfoodie
Copy link
Contributor

MIfoodie commented Feb 27, 2024

While this looks like a great package to document, looking at the documentation that you provided I couldn't find any command-line commands as it seems to be for Python.

@gutjuri
Copy link
Member

gutjuri commented Feb 27, 2024

While this looks like a great package to document, looking at the documentation that you provided I couldn't find any command-line commands as it seems to be for Python.

There are some options that can be used to run mypy. They are documented here: https://mypy.readthedocs.io/en/stable/command_line.html

@MrMw3
Copy link
Collaborator

MrMw3 commented Mar 27, 2024

i think it's good to have this in tldr.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
help wanted You can help make tldr-pages better! new command Issues requesting creation of a new page.
Projects
None yet
Development

No branches or pull requests

4 participants