变色龙型绘图仪（工具演示）
The Chameleon Type Debugger (Tool Demonstration)
摘要：
在此工具演示中，我们将概述Chameleon类型的调试器。类型调试器的主要用途是标识源程序中涉及类型错误的位置。通过进一步检查这些（潜在的）有问题的程序位置，用户可以更好地了解他们的程序，并能够解决导致类型错误的实际错误。调试器是交互式的，允许用户提供附加信息以缩小搜索空间。调试器的一个新颖的方面是能够解释看起来很奇怪的类型。在推断出意外类型的情况下，调试器可以突出显示导致该结果的程序位置。此外，由于调试器构建在灵活的基于约束的基础上，它可以自然地处理高级类型系统功能，如Haskell的类型类和函数依赖关系。
英文摘要：
In this tool demonstration, we give an overview of the Chameleon type debugger. The type debugger's primary use is to identify locations within a source program which are involved in a type error. By further examining these (potentially) problematic program locations, users gain a better understanding of their program and are able to work towards the actual mistake which was the cause of the type error. The debugger is interactive, allowing the user to provide additional information to narrow down the search space. One of the novel aspects of the debugger is the ability to explain erroneous-looking types. In the event that an unexpected type is inferred, the debugger can highlight program locations which contributed to that result. Furthermore, due to the flexible constraint-based foundation that the debugger is built upon, it can naturally handle advanced type system features such as Haskell's type classes and functional dependencies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
