So you want to write a type checker (languagengine.co)

A follow-up to my "So you want to learn type theory" reading list. Here I show you how to write a simple type checker using JS.

For what type of purpopses could you use the type checker for?