Coherencia en Clases de Tipos: Una Comparación entre Swift, Rust, Scala y Haskell

Las clases de tipos son un mecanismo popular para la programación genérica, utilizado en lenguajes como Haskell, Swift, Rust y Scala. Sin embargo, la programación implícita, aunque conveniente, puede llevar a la ambigüedad en la inferencia de tipos, poniendo en peligro la coherencia (la propiedad de que un programa tenga exactamente un significado). La comunidad de investigación está dividida: algunos favorecen la resolución sensible al contexto; otros abogan por instancias globalmente únicas para evitar ambigüedades. Este artículo compara cómo estos cuatro lenguajes abordan la coherencia de las clases de tipos, revelando que, a pesar de las diferencias sintácticas, sus estrategias para sortear las limitaciones de las instancias únicas son sorprendentemente similares.