Six bugs a type system would have caught

Making illegal states unrepresentable, in languages you already use

Key Takeaways & Production Insights

01Model domains so invalid states cannot be constructed
02Read a type error as a design signal
03Weigh type-level power against team legibility
04Introduce stronger typing into an existing codebase

Tools & Systems Used in this Session

TypeScriptRustOCaml

Course Outline

0 / 10 Lessons

Module 012 sessions

Foundations

Module 023 sessions

Core Concepts

Module 032 sessions

Real-World Systems

Module 042 sessions

Advanced Techniques

Module 051 sessions

Final Project

Faculty

Tomás Lindqvist

Compiler Engineer & Type Theorist

Tomás builds the tools other engineers build with. He teaches type systems the way a craftsman teaches joinery — starting from the failure you are trying to prevent, not from the notation.

Lesson 01.0123m

Click to stream instruction

Six bugs a type system would have caught23m

Module 01 · Foundations