El compilador de Gleam verifica la exhaustividad de casos mediante lógica formal
El compilador del lenguaje de programación Gleam utiliza un módulo interno llamado exhaustiveness.rs para garantizar que las expresiones case cubran todos los valores posibles de sus argumentos. Este mecanismo, que opera durante la compilación, evita que el programa falle en tiempo de ejecución por
