Un programme qui détermine les annotations de types automatiquement en se basant sur les traces d'exécutions.

La documentation officiel des slots

Un outil d'instrumentation au runtime de code python. L'outil génère une trace qui peut ensuite être analysée par un analyseur statique.

Quelques fonctionnalités avancées en Python