OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints

1 code implementation • 1 Apr 2020 • Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon, Charles Sutton

OptTyper combines a continuous interpretation of logical constraints derived by classical static analysis of TypeScript code, with natural constraints obtained from a deep learning model, which learns naming conventions for types from a large codebase.

Type prediction Vocal Bursts Type Prediction