Hazel：一个以类型化孔洞为特色的实时函数式编程环境

Hazel是一个以类型化孔洞为核心的实时函数式编程环境。它支持对不完整程序进行类型检查、操作甚至运行。Hazel允许程序员在程序中使用“孔洞”来表示缺失、错误或冲突的部分，并提供实时反馈。该项目旨在为不完整程序提供更原则性的处理方法，并已被用于研究编程的未来、程序教育以及与大型语言模型结合改进AI代码补全性能等领域。Hazel是一个开源研究项目，由密歇根大学未来编程实验室领导。