No AI summary available for this article.
Why It Matters
Abstract: Development tools report what type an expression has, but not why it has that type.
Provenance
Discovered via Lobsters and published by ArXiv.
Key Claims
Original description
Abstract: Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing that answers such questions: a programmer selects a term, queries any part of the type information associated with it, and receives a slice of the program—a well-formed partial program with irrelevant sub-terms folded away—that suffices to reproduce the queried type. We formulate type slicing for bidirectional type systems, where synthesis slices explain the type a term synthesises and analysis slices explain the type its surrounding context expects. The th...
Discovered via Lobsters
Developer-curated links and discussion from Lobsters.
Publisher: arxiv.org
ID: https://lobste.rs/s/odew1t · Indexed about 1 hour ago