This article explains bidirectional type checking, a method that simplifies type inference and checking in programming languages. It outlines a straightforward implementation using a small language and demonstrates how to build a functional type checker. Readers can learn how type annotations and abstract syntax trees work together in this process.