Better Type-Error Messages Through Lazy Typing Public Deposited

http://ir.library.oregonstate.edu/concern/technical_reports/gb19f721z

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • Producing precise and helpful error messages for type inference is still a challenge for implementations of functional languages. Current approaches often lack precision in terms of locating the origins of type errors. Moreover, suggestions for how to fix type errors that are offered by some tools are also often vague or incorrect. To address this problem we have developed a new approach to identifying type errors that is based on delaying typing decisions and systematically gathering context information to support the delayed decision making. Our technique, which we call lazy typing, is based on explicitly representing conflicting types and type errors in choice types that will be accumulated during the typing process. The structure of these types is then analyzed to produce error messages and, in many cases, also type-change suggestions. We will demonstrate that lazy typing is often more precise in locating type errors than existing tools and that it can also produce good type-change suggestions. We do not consider lazy typing as a replacement for other techniques, but rather as an addition that could help improve other approaches.
Resource Type
Date Available
Date Issued
Series
Subject
Rights Statement
Funding Statement (additional comments about funding)
Publisher
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Submitted by Patricia Black (patricia.black@oregonstate.edu) on 2016-01-25T21:20:03Z No. of bitstreams: 1 Better Type-Error Messages Through Lazy Typing.pdf: 144988 bytes, checksum: 605587efc360c2b637d6f15f327f84e3 (MD5)
  • description.provenance : Made available in DSpace on 2016-01-25T21:31:21Z (GMT). No. of bitstreams: 1 Better Type-Error Messages Through Lazy Typing.pdf: 144988 bytes, checksum: 605587efc360c2b637d6f15f327f84e3 (MD5) Previous issue date: 2013
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2016-01-25T21:31:21Z (GMT) No. of bitstreams: 1 Better Type-Error Messages Through Lazy Typing.pdf: 144988 bytes, checksum: 605587efc360c2b637d6f15f327f84e3 (MD5)

Relationships

In Administrative Set:
Last modified: 07/18/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items