Adiós, Errores de Tipo Misteriosos: Cómo PolySubML Mejora los Mensajes de Error de Inferencia de Tipos
PolySubML es un lenguaje de programación que combina la inferencia de tipos global con la subtipificación y el polimorfismo avanzado. Esta publicación explora cómo PolySubML diseña buenos mensajes de error de tipo y explica por qué los lenguajes existentes a menudo se quedan cortos en la mejora de los mensajes de error de inferencia de tipos. El autor propone cinco reglas: 1. Nunca adivines ni retrocedas; 2. No saques conclusiones precipitadas; 3. Pide al usuario que aclare la intención; 4. Permite al usuario escribir anotaciones de tipo explícitas; 5. No incluyas la inferencia de tipos estática en tu modelo de ejecución en tiempo de ejecución. Siguiendo estas reglas, PolySubML aborda con éxito muchos problemas comunes con la inferencia de tipos, mejorando significativamente la capacidad de depuración del código.