TypeScript

Structural typing, generics, narrowing, and utility types — how to describe real-world data shapes without fighting the compiler.