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

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 9; no. PLDI; pp. 1293 - 1314
Main Authors:	Gray, Gavin, Crichton, Will, Krishnamurthi, Shriram
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 10.06.2025
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!