Apr, 2020
OptTyper:通过优化逻辑约束和自然约束进行概率类型推断
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints
Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon, Charles Sutton
TL;DR该研究提出了一种概率类型推理框架,在 TypeScript 文件中预测缺失的类型。该框架将来自类型系统的逻辑约束与来自命名约定的深度学习模型提取的自然约束相结合,优于先前使用单一信息的模型。