他解决了哪些别人解决不了、或者解决得不好的问题？

【 在 qingant 的大作中提到: 】
: 给Python程序做类型推断的，主要用来做静态检查和代码索引
:
--
FROM 60.16.242.*