17. Use pyright#
Date: 2024-02-15
Status#
Accepted
Context#
Pyright is faster than mypy, and catches more errors.
Decision#
We will use it by default, but retain mypy as an option for existing projects where pyright gives too many errors to quickly migrate.
Consequences#
We will add a new question to let people switch between the two.