THE EASIEST WAY TO BUILD A TYPE CHECKER

Summary from the TLDR Dev newsletter

Bidirectional Type Checking is a conceptually simple method for building type checkers. This article provides a functional type checker implementation for a small language, showing how it uses "infer" and "check" functions to determine and validate types.