Term Search in Rust
summary
This presents a term search algorithm for Rust integrated into rust-analyzer (LSP), which suggests or autocompletes expressions for holes when their type is known. The development proceeds through three iterations—backward search inspired by Agsy, a reversed-search version improving caching, and a final tactic-based bidirectional search—and the authors evaluate it by attempting to re-synthesize deleted code across 155 popular Rust libraries, measuring fill rates and how often the original code is suggested.
AI-written summary · about
related talks
20mAn Interactive Debugger for Rust Trait Errors
17mSyntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with(…)
25mAre we *actually* IDE yet? A look on the Rust IDE Story
27mTeaching an IDE to understand Rust
28mAre we actually IDE yet? - A look on current Rust IDE story
25m"Compiler-Driven Development: Making Rust Work for You"
22mEasier Lint Authoring with Semantic Search and (...)
37mBeyond Grep: Semantic Code Search for Safer Change at Scale