000179877 001__ 179877
000179877 005__ 20190316235423.0
000179877 037__ $$aCONF
000179877 245__ $$aImplementing a Type Debugger for Scala
000179877 269__ $$a2012
000179877 260__ $$c2012
000179877 336__ $$aConference Papers
000179877 520__ $$aStatically-typed languages offer type systems that are less and less comprehensible for programmers as the language grows in complexity. In this paper, we present a type debugger, a tool that enables analysis of type-related problems as well as exploration of the typechecking process in general. We explain our findings on implementing a lightweight instrumentation mechanism for Scala, as well as guide the reader through some typical debugging scenarios in which one can use our tool. The type debugger visualizes the internals of the typechecker which we believe increases its chances of being a successful educational tool, and which simplifies understanding of statically-typed languages in general.
000179877 6531_ $$atype system visualization
000179877 6531_ $$adebugger
000179877 6531_ $$acompiler instrumentation
000179877 700__ $$0243347$$aPlociniczak, Hubert$$g193141
000179877 700__ $$0241835$$aOdersky, Martin$$g126003
000179877 7112_ $$aAsia-Pacific Programming Languages and Compilers Workshop$$cBeijing, China$$dJune 14, 2012
000179877 8564_ $$s661975$$uhttps://infoscience.epfl.ch/record/179877/files/typedebugger-applc2012.pdf$$yPostprint$$zPostprint
000179877 909C0 $$0252187$$pLAMP$$xU10409
000179877 909CO $$ooai:infoscience.tind.io:179877$$pconf$$pIC$$qGLOBAL_SET
000179877 917Z8 $$x193141
000179877 937__ $$aEPFL-CONF-179877
000179877 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000179877 980__ $$aCONF