pyre?
pyre è un attrezzo per python per verificare i tipi utilizzati nel
codice.
Per installarlo, py001 -m pip install pyre-check (dove py001 è une venv).
Per usarlo, vim ~/.bash_aliases e aggiungere
alias pyre001='/code/python-venv-001/bin/pyre' e poi
source ~/.bash_aliases e poi pyre001 init per ottenere un documento
.pyre_configuration con il seguente contenuto :
{
"site_package_search_strategy": "pep561",
"source_directories": [
"."
]
}
"exclude": [], può essere utile per escludere percorsi che non vogliamo verificare
perché hanno bisogno di lavoro per rimuovere una grande quantità di errori, ma ci sarà il
problema che i tipi esclusi non saranno trovati negli altri documenti di codice. Come la guida
lo nota i valori possibili sono espressioni regolari ".*\/node_modules\/.*"
"ignore_all_errors": [] può essere usato per considerare i tipi di questi documenti
che hanno errori ignorando questi errori senza bloccare la validazione per migliorare il codice
in piccoli incrementi. Invece qui, un elenco di percorsi relativi è necessario.
È importante di notare che l'ultimo elemento di un elenco o del dizionario nel
.pyre_configuration omette la virgola.
Per eseguire la validazione, semplicemente eseguire il comando pyre
È possibile che certe dipendenze non saranno trovate da pyre
Se tale è il caso, è possibile di definire variabili ambientali come
PERCORSO_DI_RICERCA_UTENTE = $(shell python3 -c 'import site; print(site.getuserssitepackages())')
e
PERCORSO_DI_RICERCA_SISTEMA = $(shell python3 -c 'import site; print(site.getsitepackages())')
E dopo, sarà possibile di eseguire questo comando :
pyre --search-path $(PERCORSO_DI_RICERCA_UTENTE) --search-path $(PERCORSO_DI_RICERCA_SISTEMA)
Pyre Installation
Type Checker Features > Configuration
How do I find the location of my Python site-packages directory?
site package module-contents documentazione