Improving type error reporting for type classes

DOI10.1007/978-3-030-99461-7_2MaRDI QIDQ2163154zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 10 August 2022

Full work available at URL https://doi.org/10.1007/978-3-030-99461-7_2

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Systematic identification and communication of type errors
• Counter-factual typing for debugging type errors
• Guided Type Debugging
• Scripting the type inference process
• Compositional explanation of types and algorithmic debugging of type errors

Cites work

• An error-tolerant type system for variational lambda calculus
• Compositional explanation of types and algorithmic debugging of type errors
• Counter-factual typing for debugging type errors
• Discriminative sum types locate the source of type errors
• Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
• Explaining type inference
• Guided Type Debugging
• scientific article; zbMATH DE number 1629944 (Why is no real title available?)
• scientific article; zbMATH DE number 1956560 (Why is no real title available?)
• Improving type error reporting for type classes
• Practical SMT-based type error localization
• Proofs of a set of hybrid let-polymorphic type inference algorithms
• Scripting the type inference process
• Toward general diagnosis of static errors
• Understanding beginners' mistakes with Haskell

Cited in

(1)

• Improving type error reporting for type classes

This page was built for publication: Improving type error reporting for type classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2163154)