我希望自己做出一个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
搜抽象解释器，有*真*相
找到答案了，很简单，只要会写parser、tokenizer，看过半本《编译原理》就行了，王垠到底对 winter 做了什么？ - 匿名用户的回答：
@winter
任何掌握LL(n)和LR(1)，也就是认真听了大学一半编译原理课的程序员，也就是编译原理入门的程序员，这样的人当中，我尚未见过瞧得起王垠的。鄙人
winter虽然算不上喜好编译和编程语言，碰巧也写过不少tokenizer和parser，所以呢，就碰巧瞧不起王垠了。
虽然前端、工程体系、团队建设和架构是我目前的主要工作和长项，但我自以为编译原理方面我可以达到普通入门级工程师水平，与王垠应当不相伯仲
～～～～抖机灵的分隔线～～～～
为防止真有人被误导，我刚找到了这个梗的出处，哈哈哈：
要理解王垠的研究，就数学上而言，需要达到什么层次？ - 计算机科学
