77## About
88
99Typeshed contains external type annotations for the Python standard library
10- and Python builtins, as well as third party packages as contributed by
10+ and Python builtins, as well as third- party packages that are contributed by
1111people external to those projects.
1212
13- This data can e.g. be used for static analysis, type checking, type inference,
13+ This data can, e.g., be used for static analysis, type checking, type inference,
1414and autocompletion.
1515
1616For information on how to use typeshed, read below. Information for
@@ -29,8 +29,8 @@ If you're just using a type checker (e.g. [mypy](https://github.com/python/mypy/
2929[ pyright] ( https://github.com/microsoft/pyright ) , or PyCharm's built-in type
3030checker), as opposed to
3131developing it, you don't need to interact with the typeshed repo at
32- all: a copy of standard library part of typeshed is bundled with type checkers.
33- And type stubs for third party packages and modules you are using can
32+ all: a copy of the standard library part of typeshed is bundled with type checkers.
33+ And type stubs for third- party packages and modules you are using can
3434be installed from PyPI. For example, if you are using ` html5lib ` and ` requests ` ,
3535you can install the type stubs using
3636
@@ -70,7 +70,7 @@ package you're using, each with its own tradeoffs:
7070 type checking due to changes in the stubs.
7171
7272 Another risk of this strategy is that stubs often lag behind
73- the package being stubbed. You might want to force the package being stubbed
73+ the package that is being stubbed. You might want to force the package being stubbed
7474 to a certain minimum version because it fixes a critical bug, but if
7575 correspondingly updated stubs have not been released, your type
7676 checking results may not be fully accurate.
@@ -119,6 +119,6 @@ a review of your type annotations or stubs outside of typeshed, head over to
119119[ our discussion forum] ( https://github.com/python/typing/discussions ) .
120120For less formal discussion, try the typing chat room on
121121[ gitter.im] ( https://gitter.im/python/typing ) . Some typeshed maintainers
122- are almost always present; feel free to find us there and we're happy
122+ are almost always present; feel free to find us there, and we're happy
123123to chat. Substantive technical discussion will be directed to the
124124issue tracker.
0 commit comments