TYPE INFERENCE SYSTEM AND METHOD

Systems and methods of representing and extracting type information from typeless and dynamically-typed programming languages are provided. These systems and methods can be immune to source file edits and the order in which those edits are executed. Deriving type information from these languages allows tools to perform operations, for example, refactoring, intellisense, recognition of semantic errors, etc. These systems and methods can be implemented using processes that, implicitly or explicitly, gather type information for the program, and can also accept user input as well. L'invention concerne des systèmes et des procédés de représentation et d'extraction d'informations type de langages de programmation sans type et de type dynamique. Ces systèmes et ces procédés peuvent être adaptés à des éditions de fichiers source et à l'ordre dans lequels ces éditions sont exécutées. L'extraction d'informations type de ces langages permet aux outils d'effectuer des opérations, par exemple, la refactorisation, la détection intelligente, la reconnaissance d'erreurs sémantiques, etc. Ces systèmes et ces procédés peuvent être mis en oeuvre à l'aide de processus qui, implicitement ou explicitement, rassemblent des informations type pour le programme et peuvent également accepter une entrée utilisateur.