Gleam is a statically typed functional language that compiles to BEAM bytecode, combining Erlang's legendary fault tolerance with compile-time type safety. This guide walks through setting up Gleam, building supervised actors, and leveraging OTP for self-healing distributed systems — with working code examples throughout.