Programmatic Access to Extract Type Information with mypy

Feature

I'm currently working on a project where I need to analyze a Python codebase programatically to extract type information for several variables. As mypy is a robust type-checker, I am keen on utilizing it for this purpose.

Objective: My goal is to use mypy programmatically to analyze Python code and obtain type information for specific variables.

Approaches Considered: As mypy can function as a language server, I am thinking to set up a LSP client, initiating the mypy language server, and subsequently dispatching LSP requests to gather type data. However, I am not sure about the viability of this strategy.

Direct Utilization of mypy: I am curious if there's a simpler way to leverage it directly as a library format for Python code analysis and extract type information extraction.

Questions:

Is there a recommended way to do programmatic type extraction using mypy?
Are there any internal APIs or tools within mypy that could be leveraged for this purpose?

Inizia esaminando il mypy language server e l’approccio LSP-client proposto, quindi verifica se mypy espone un’interfaccia di libreria diretta per estrarre le informazioni sui tipi delle variabili. L’issue richiede un workflow supportato concreto e un ambito definito prima di poter iniziare l’implementazione; sarà completata quando sarà stato deciso e documentato un percorso di accesso programmatico.