static-typing.md

Bookmarks tagged [static-typing]

www.codever.land/bookmarks/t/static-typing

mypy

^{http://mypy-lang.org/}

Check variable types during compile time.

• tags: python, code-analysis, static-typing

---

pyre-check

^{https://github.com/facebook/pyre-check}

Performant type checking.

• tags: python, code-analysis, static-typing
• :octocat: source code

---

MonkeyType

^{https://github.com/Instagram/MonkeyType}

A system for Python that generates static type annotations by collecting runtime types

• tags: python, code-analysis, static-typing
• :octocat: source code

---