An Interactive Debugger for Rust Trait Errors

Compiler diagnostics for type inference failures are notoriously bad, and type classes only make the problem worse. By introducing a complex search process during inference, type classes can lead to wholly inscrutable or useless errors. We describe a system, Argus, for interactively visualizing type...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 9; H. PLDI; S. 1293 - 1314
Hauptverfasser:	Gray, Gavin, Crichton, Will, Krishnamurthi, Shriram
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 10.06.2025
Schlagworte:	Constraint and logic programming Information systems Search interfaces Software and its engineering Software testing and debugging Theory of computation debugging Rust traits type classes
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!