What should I know about Wang Pysonar?

I want to make a Python static type check tool myself, as Pysonar does, but I want to extend more functions. How should I learn? I want to make a Python static type check tool myself, as Pysonar does, but I want to extend more functions. How should I learn? Reply: Dialyzer/Typer in Erlang borrowed from PySonar later written by Wang Yin from the very beginning, so it is enough to read the papers of 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 Search for the abstract interpreter and find the correct answer. It is very simple. You only need to write parser and tokenizer and read half of the compilation principles, what has Wang done to winter? -Answers from Anonymous Users:

@ Winter
Any programmer who has mastered LL (n) and LR (1), that is, a programmer who has carefully listened to the principles of compilation in half of the University, that is, the programmer who is getting started with the principles of compilation, among them, I have never seen Wang Yin. Although winter is not fond of compiling and programming languages, it also happens to write many tokenizer and parser, so it happens to look down upon Wang Yin.
Although front-end, engineering system, team building and architecture are my main tasks and long-term tasks I think that in terms of compilation principles, I can reach the level of general entry-level engineers.

~~~~ Jitter and clever separation line ~~~~
To prevent someone from being misled, I just found the source of this stem. Hahaha:
To understand Wang Yin's research, what level should he achieve in mathematics? -Computer Science