Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python @ICSE '22

The type inference in dynamic function in python.

Compared with static inference like Pyre.

Static+DL Approach

先 Type dependency graph，在路径constraint上做验证正确性，最后再验证正确性。其实非动态语言rust的类型推导💥问题也可以这样解决。至少DL给了一个搜索路径。

Framework

重点就是Backward Type Rejection的语义。

看了下，比如subscript的刻画还是很准确的，但是symbolic value的rejection rule还是会比sound 大一些。

Counter case