Comment by nebgnahz

So, there is a trend to build static type checker for popular managed dynamic languages?

Facebook also built Flow, a type checker for Javascript [1].

[1] https://flow.org/