Kohärenz in Typklassen: Ein Vergleich von Swift, Rust, Scala und Haskell

Typklassen sind ein beliebtes Mittel für generische Programmierung, verwendet in Sprachen wie Haskell, Swift, Rust und Scala. Implizite Programmierung kann jedoch zu Mehrdeutigkeiten bei der Typinferenz führen und die Kohärenz (die Eigenschaft, dass ein Programm genau eine Bedeutung hat) gefährden. Die Forschungsgemeinschaft ist gespalten: Einige bevorzugen eine kontextsensitive Auflösung; andere plädieren für global eindeutige Instanzen, um Mehrdeutigkeiten zu vermeiden. Dieser Artikel vergleicht, wie diese vier Sprachen die Kohärenz von Typklassen behandeln, und zeigt, dass trotz syntaktischer Unterschiede ihre Strategien zur Umgehung der Einschränkungen eindeutiger Instanzen erstaunlich ähnlich sind.