Home > Backend Development > Python Tutorial > 为了看懂王垠Pysonar,我应该掌握哪些知识?

为了看懂王垠Pysonar,我应该掌握哪些知识?

WBOY
Release: 2016-06-06 16:23:38
Original
2989 people have browsed it

我希望自己做出一个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,所以呢,就碰巧瞧不起王垠了。
虽然前端、工程体系、团队建设和架构是我目前的主要工作和长项,但我自以为编译原理方面我可以达到普通入门级工程师水平,与王垠应当不相伯仲

~~~~抖机灵的分隔线~~~~
为防止真有人被误导,我刚找到了这个梗的出处,哈哈哈:
要理解王垠的研究,就数学上而言,需要达到什么层次? - 计算机科学
Related labels:
source:php.cn
Statement of this Website
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn
Popular Tutorials
More>
Latest Downloads
More>
Web Effects
Website Source Code
Website Materials
Front End Template