Deja de Lanzar Errores que tu Type Checker No Puede Ver
Las excepciones lanzadas ocultan los caminos de fallo de tu sistema de tipos. Aquí te explicamos por qué los retornos de error explícitos hacen tu código más honesto, y cómo adoptarlos sin odiar tu vida.
La firma de tu función dice que devuelve un . No es así. Devuelve un o explota. El sistema de tipos simplemente no sabe nada de la segunda branch. Esta es la…