Gleam is a friendly language for building type-safe systems that scale