Group Travel for U.S. Participants in the 6th International Symposium on High Performance Computer Architecture

提案编号：CCR-9974980题目：改进拥抱：Haskell作为研究工具PI：蒂姆·谢尔德和马克·琼斯，俄勒冈州研究生院编程语言Haskell已经成为标准的懒惰函数语言，并提供强大的类型、高阶功能和参数多态。Hugs解释器是Haskell的一个简单、易于移植的实现。这个项目将增强Hugs，重点关注可用性和与高性能GlasgowHaskell编译器的集成问题。该项目在几个方面改进了Hugs解释器：与GHC运行时系统集成：通过完成Glasgow Haskell编译器运行时系统与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.