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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 9; číslo PLDI; s. 1293 - 1314
Hlavní autoři:	Gray, Gavin, Crichton, Will, Krishnamurthi, Shriram
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 10.06.2025
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!