000197948 001__ 197948
000197948 005__ 20190416055540.0
000197948 037__ $$aCONF
000197948 245__ $$aImproving Human-Compiler Interaction Through Customizable Type Feedback
000197948 269__ $$a2014
000197948 260__ $$c2014
000197948 336__ $$aConference Papers
000197948 520__ $$aType errors reported by compilers can sometimes be cryptic, or difficult to understand. In this paper, we propose a type debugging framework that exposes a high-level representation of the typechecking decision-making process that users normally do not have access to in state-of-the-art compilers. This representation makes it easier for non-experts to analyze complex type errors. Our system is implemented by instrumenting the existing Scala typechecker, but without modifying it. We also provide generic search algorithms that can be used as basic building blocks to build a number of systems, from visual type debugging tools to customized error reporting for normal Scala users as well as to users of domain-specific languages. Using our framework, it is possible to overcome well-known limitations of local type inference by providing precise type error messages to mainline Scala users or Scala DSL users alike. In addition, the framework provides better user feedback for non-trivial type errors from existing Scala libraries and DSLs.
000197948 6531_ $$atype system
000197948 6531_ $$atype errors
000197948 6531_ $$atype debugging
000197948 700__ $$0243347$$g193141$$aPlociniczak, Hubert
000197948 700__ $$0242185$$g191683$$aMiller, Heather
000197948 700__ $$0241835$$g126003$$aOdersky, Martin
000197948 8564_ $$uhttps://infoscience.epfl.ch/record/197948/files/splash2014.pdf$$zPreprint$$s727211$$yPreprint
000197948 909C0 $$xU10409$$0252187$$pLAMP
000197948 909CO $$ooai:infoscience.tind.io:197948$$qGLOBAL_SET$$pconf$$pIC
000197948 917Z8 $$x191683
000197948 937__ $$aEPFL-CONF-197948
000197948 973__ $$rREVIEWED$$sSUBMITTED$$aEPFL
000197948 980__ $$aCONF