Gleam case exhaustiveness, as a fan
Summary
The piece is a thoughtful tour of Gleam's exhaustiveness checker, explaining how compile-time analysis detects non-exhaustive pattern matches and produces precise missing-pattern warnings. It ties Gleam's approach to classic pattern-matching theory and famous papers, with practical diagnostics like witness generation, string-prefix handling, and guard/subset reasoning. Handy for developers of language tooling and compiler engineers.