A mantra of functionally complete languages in this session we'll explore how to apply these concepts incrementally to your existing TypeScript code bases. We'll demonstrate how to use types to enforce the business rules of a retail application.

We'll explore:
* Enforcing runtime state at compile time
* Type guards
* Why you be confident in your checks

Includes a live coding demonstration that works best with a large screen with good contrast and passable resolution.