infer types

tipos de inferencia

Una herramienta CLI para agregar automáticamente las anotaciones de tipo en el código Python.

El escenario principal para usar la herramienta es ayudarlo con la anotación de una base de código grande y antigua. No resolverá la tarea para usted al 100%, pero definitivamente lo ayudará enormemente, porque muchas de las funciones en el mundo real tienen tipos de retorno bastante simples que son fáciles de inferir automáticamente.

Características:

• 100% automatizado, obtenga un montón de anotaciones tipo sin esfuerzo.
• 100% estático, todos los tipos se infieren sin ejecutar el código.
• Mucha heurística e inferencia inteligente.
• Utiliza activamente Tipeshed para encontrar anotaciones para dependencias no anotadas.

Ejemplo

Digamos que tiene el siguiente método:

 class Database :
    def users_count ( self ):
        return len ( self . users )

Dado que len siempre devuelve int , infer-types puede inferir el tipo de retorno del método. Entonces, después de ejecutar la herramienta, el código se verá así:

 class Database :
    def users_count ( self ) -> int :
        return len ( self . users )

Instalación

python3 -m pip install infer-types

Uso

python3 -m infer_types ./example/

La herramienta agregará nuevas declaraciones de importación que se pueden duplicar y no se encuentran en la parte superior del archivo. Para arreglarlo, ejecute Isort:

python3 -m isort ./example/

La herramienta Infer-types utiliza la nueva sintaxis elegante para las anotaciones de tipo introducidas en Python 3.10. Entonces, en lugar de Optional[str] emitirá str | None . Si se supone que su código se ejecuta en una versión anterior de Python, agregue from __future__ import annotations al comienzo de cada archivo. Resolverá el problema y también hará que el inicio de su aplicación sea más rápido. También puedes hacer eso con Isort:

python3 -m isort --add-import ' from __future__ import annotations ' ./example/

Vea Awesome-Python-Typing para más herramientas para ayudarlo con la anotación de su código.

Cómo funciona

• La mayoría de las heurísticas viven en el paquete Astipes. Consulte más información sobre la lógica de inferencia principal.
• Si el mismo método se define en una clase base, copie las anotaciones de tipo desde allí.
• Si no hay declaraciones de retorno que devuelvan un valor, el tipo de retorno es None .
• Si hay una declaración yield , el tipo de retorno es typing.Iterator .
• En algunos casos, el tipo de retorno se puede adivinar desde el nombre de la función. Por ejemplo, se supone que la función is_open devuelve bool porque comienza con is_ .

Solo puedes ejecutar una heurística específica usando la bandera --only .