Pyre: A performant type-checker for Python 3

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • Sonar - Write Clean Python Code. Always.
  • InfluxDB - Access the most powerful time series database as a service
  • SaaSHub - Software Alternatives and Reviews
  • pytype

    A static type analyzer for Python code

    No. I didn't expect it to be non-blaze/bazel tool friendly, but sounds like it is (aims to be at lest)?

    It does seems to support the entire-directory parsing as well. That's nice! Let me give it a try next time. Thanks for the tip!

    As a reminder to myself, here is the link to the doc: https://google.github.io/pytype/

  • typing

    Python static typing home. Hosts the documentation and a user help forum.

    > Similarly where a language with first-class support for types might have `type Foo`, Python makes you write `T = TypeVar("T"); class Foo(Generic[T])` or something like that, and it gets more confusing when you only want one of the methods to be generic and I can never remember whether that `T` takes on a single type across all uses or which scope I need to define it in, etc.

    I don't know about you but I find PEP 484 very clear here: https://www.python.org/dev/peps/pep-0484/#scoping-rules-for-...

  • Sonar

    Write Clean Python Code. Always.. Sonar helps you commit clean code every time. With over 225 unique rules to find Python bugs, code smells & vulnerabilities, Sonar finds the issues while you focus on the work.

  • pyre-check

    Performant type-checking for python.

  • mamba

    The Fast Cross-Platform Package Manager

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts