What knowledge should I master in order to understand Wang Yin Pysonar?

I want to make a Python static type checker, just like Pysonar did, but I also want to extend more functionality. How should I learn?

Reply content:

Erlang Dialyzer/typer in the beginning to learn from Wang Yin later wrote the Pysonar, so look at Dialyzer/typer's paper is good.

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 Search Abstract Interpreter, there is * true * to find the answer, very simple, as long as will write parser, Tokenizer, read more than half of the "compilation principle "On the line, what did Wang Yin do to winter?" -Anonymous user's answer:

@winter
Any master ll (n) and LR (1), that is, to listen to the university half of the compiling principle of the programmer, that is, the compiler of the introduction of the principle of the programmer, such people, I have not seen honeys Wang Yin. I winter although not like compiling and programming language, happened to have written a lot of tokenizer and parser, so, it happened to despise Wang Yin.
Although the front-end, engineering system, team building and architecture are my main work and strengths, but I think the compilation principle I can reach the level of ordinary entry-level engineers, and Wang Yin should not match

~ ~ ~ a clever divider ~ ~ ~ ~
To prevent someone from being misled, I just found the source of the stem, hahaha:
To understand Wang Yin's research, in terms of mathematics, what level need to reach? -Computer Science

