标签
一篇由 Gleam 粉丝撰写的深度文章，深入探讨 Gleam 的 case 穷尽性检查机制，分析 compiler-core/src/exhaustiveness.rs 源码，并将模式匹配的编译理论追溯到 Lennart Augustsson 于 1984 年发表的论文《Compiling Pattern Matching》。