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
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • 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-...

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • pyre-check

    Performant type-checking for python.

  • mamba

    The Fast Cross-Platform Package Manager (by mamba-org)

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