双向类型和强制转换系统的可分解类型突出显示
Decomposable Type Highlighting for Bidirectional Type and Cast System
浏览论文内容
中文总结 AI 辅助
研究如何为程序员提供解释静态类型和动态强制转换推导过程的交互式界面以助调试，通过在双向系统中定义可分解突出显示系统的数学基础及在Hazel语言中实现原型，突出类型级调试的重要性。
中文摘要 AI 辅助
我们探索如何为程序员提供一个交互式界面来解释静态类型和动态强制转换的推导过程，以改善静态和动态类型错误的调试。为此，我们在双向系统中为可分解突出显示系统定义数学基础，并展示其如何在强制转换系统中通过动态类型传播。我们在渐进类型的Hazel语言中的原型实现包括一个基于网络的用户界面，借此突出类型级调试的重要性。
英文摘要
We explore how to provide programmers with an interactive interface for explaining the process by which static types and dynamic casts are derived, with the goal of improving the debugging of static and dynamic type errors. To this end, we define mathematical foundations for a decomposable highlighting system within a bidirectional system and show how these can be propagated through dynamic types in a cast system. Our prototype implementation in the gradually typed Hazel language includes a web-based user interface, through which we highlight the importance of type-level debugging.
