Adeus, Erros de Tipo Misteriosos: Como o PolySubML Melhora as Mensagens de Erro de Inferência de Tipo

PolySubML é uma linguagem de programação que combina inferência de tipo global com subtipagem e polimorfismo avançado. Esta publicação explora como o PolySubML projeta boas mensagens de erro de tipo e explica por que as linguagens existentes muitas vezes ficam aquém na melhoria das mensagens de erro de inferência de tipo. O autor propõe cinco regras: 1. Nunca adivinhe ou volte atrás; 2. Não tire conclusões precipitadas; 3. Peça ao usuário para esclarecer a intenção; 4. Permita que o usuário escreva anotações de tipo explícitas; 5. Não inclua a inferência de tipo estático no seu modelo de execução em tempo de execução. Seguindo essas regras, o PolySubML aborda com sucesso muitos problemas comuns com a inferência de tipo, melhorando significativamente a capacidade de depuração do código.