Improving Hugs: Haskell as a Research Tool

提案号：ccr9974980标题：改进Hugs: Haskell作为研究工具pi: Tim Sheard和Mark Jones， Oregon Graduate institute编程语言Haskell已经成为标准的懒函数语言，并提供强大的类型、高阶特性和参数多态性。Hugs解释器是一个简单的、易于移植的Haskell实现。该项目将增强Hugs，重点关注易用性问题以及与高性能的GlasgowHaskell编译器的集成。该项目从几个方面改进了Hugs解释器：与GHC运行时系统的集成：通过完成Glasgow Haskell Compiler运行时系统与Hugs解释器的集成，将构建一个完全可互操作的系统，能够执行混合编译和字节码解释的代码。声明式调试：该项目将在与程序员对程序的看法一致的抽象层次上，研究跟踪惰性函数程序的计算步骤的问题。更好的错误报告：该项目研究了如何通过在hugs中构建改进的类型推断系统来改进类型错误调试过程，该系统能够报告类型错误发生的位置和原因。与GHC运行时系统的成功集成有许多好处。它允许Hugs解释器访问现有的ghc特性，包括编译的序言和库，同时保持解释器的小内存占用和易用性。项目的完成将大大增加可以应用Hugs解释器的问题的规模和复杂性。

Proposal Number: CCR-9974980Title: Improving Hugs: Haskell as a Research ToolPI's: Tim Sheard and Mark Jones, Oregon Graduate InstituteThe programming language Haskell has emerged as the standard lazyfunctional language, and offers strong typing, higher-order features, andparametric polymorphism. The Hugs interpreter is a simple, easily ported,implementation of Haskell. This project will enhance Hugs, focusing onissues of usability and integration with the high-performance GlasgowHaskell Compiler.The project improves the Hugs interpreter in several ways:Integration with GHC runtime system:By completing the integration of the Glasgow Haskell Compiler run-timesystem with the Hugs interpreter, a fully interoperable system capableof executing a mixture of compiled and byte-code interpreted code willbe constucted. Declarative debugging: The project will investigate the problem of tracing the computational stepsof a lazy functional program, at a level of abstraction consistent with theprogrammers view of the program.Better Error Reporting:The project investigates how to improve the type error debuggingprocess by building improved type inference systems intoHugs, capable of reporting both where and why type errors haveoccurred. Successful integration with the GHC run-time system has numerousbenefits. It allows the Hugs interpreter to access the existing GHCfeatures including compiled preludes and libraries, while maintainingthe small footprint and ease of use of an interpreter. Completion ofthe project will greatly increase the size and complexity of theproblems to which the Hugs interpreter can be applied.