Goanna：利用最小校正子集解决Haskell类型错误
Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
AI总结：
针对Haskell类型错误调试困难的问题，研究提出了基于最小校正子集枚举的新型工具Goanna，可识别潜在错误原因与解决方案，经86个程序验证有效，并辅以相关技术提升诊断能力。
摘要：
静态类型语言具备显著优势，例如预防bug、提升代码质量以及降低维护成本。然而，这些优势往往伴随着陡峭的学习曲线和更慢的开发速度。Haskell以其表达力强且严格的类型系统著称，对于经验不足的程序员而言，学习和使用其类型系统存在挑战，尤其是在调试类型错误方面。我们推出了Goanna，这是一款兼具Haskell类型检查器和交互式类型错误调试工具功能的新型工具。遇到类型错误时，Goanna会基于最小校正子集（minimum correction subsets，MCS）枚举，识别出一份全面的潜在原因与解决方案清单。我们使用来自在线讨论的86个不同的Haskell程序评估了Goanna的有效性，证明了它能够准确识别并解决类型错误。此外，我们还提出了一系列技术和启发式方法，用于增强Goanna基于建议的错误诊断能力，并通过评估验证了它们的有效性。
英文摘要：
Statically typed languages offer significant advantages, such as bug prevention, enhanced code quality, and reduced maintenance costs. However, these benefits often come at the expense of a steep learning curve and a slower development pace. Haskell, known for its expressive and strict type system, poses challenges for inexperienced programmers in learning and using its type system, especially in debugging type errors. We introduce Goanna, a novel tool that serves as a type checker and an interactive type error debugging tool for Haskell. When encountering type errors, Goanna identifies a comprehensive list of potential causes and resolutions based on the minimum correction subsets (MCS) enumeration. We evaluated Goanna's effectiveness using 86 diverse Haskell programs from online discourse, demonstrating its ability to accurately identify and resolve type errors. Additionally, we present a collection of techniques and heuristics to enhance Goanna's suggestion-based error diagnosis and show their effectiveness from our evaluation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
