为了看懂王垠Pysonar，我应该掌握哪些知识？
我希望自己做出一个Python的静态类型检查工具，就像Pysonar所做的那样，只是我还想扩展更多的功能。我应该如何学习？
Erlang里的Dialyzer/Typer在一开始就借鉴了王垠后来写的PySonar的，所以看Dialyzer/Typer的论文就好了。
DIALYZER: a DIscrepancy AnaLYZer for ERlang programs
TYPER: A Type Annotator of Erlang Code
Pratical type inference based on success typings
Gradual Typing of Erlang programs: A Wrangler Experience
from: http://www.zhihu.com/question/27938655