How and why I write my own static type checker

Artem believes that to use something well you need to write your own analog. He'll tell how today's most popular static typing solutions work and how he writes his own solution.