pyanalyze: A semi-static typechecker

Contents:

• Frequently asked questions
  • Why another typechecker?
  • What makes pyanalyze different?
  • When should I use pyanalyze?
  • What is the history of pyanalyze?
• Configuration
• Type system
  • Extensions
  • Limitations
• Design
  • Background
  • Name resolution
  • Type and value inference
  • Call compatibility
  • Non-existent object attributes
  • Finding unused code
• Type evaluation
  • Motivation
  • Specification
  • Discussion
  • Compatibility
  • Possible extensions
  • Status
• Glossary
• pyanalyze.annotations
• pyanalyze.ast_annotator
• pyanalyze.extensions
• pyanalyze.name_check_visitor
• pyanalyze.signature
• pyanalyze.stacked_scopes
• pyanalyze.value
• Changelog
  • Unreleased
  • Version 0.7.0 (April 13, 2022)
  • Version 0.6.0 (January 12, 2022)
  • Version 0.5.0 (December 12, 2021)
  • Version 0.4.0 (November 18, 2021)
  • Version 0.3.1 (August 11, 2021)
  • Version 0.3.0 (August 1, 2021)
  • Version 0.2.0 (May 17, 2021)
  • Version 0.1.0 (May 29, 2020)

Indices and tables

• Index

• Module Index

• Search Page