Statically typed Python

This page summarizes the projects mentioned and recommended in the original post on /r/Python

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • pydantic

    Data validation using Python type hints

  • maybe take a look at Pydantic

  • typeguard

    Run-time type checker for Python

  • Personally I find working around mypy's quirks to be more effort than it's worth, so to offer another option: typeguard or beartype can be used to perform run-time type checking.

  • 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
  • beartype

    Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

  • Personally I find working around mypy's quirks to be more effort than it's worth, so to offer another option: typeguard or beartype can be used to perform run-time type checking.

  • pyre-check

    Performant type-checking for python.

  • Facebook/Instagram uses Pyre which is a typechecker for Python.

  • mypyc

    Compile type annotated Python to fast C extensions

  • mypyc-benchmark-results

    Mypyc benchmark result data

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