Software Support for the Yale Haskell Implentation

对 Yale Haskell 实现的软件支持

• 批准号: 9104987
• 负责人: Paul Hudak
• 金额: $ 20.36万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-07-01 至 1993-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9104987&HistoricalAwards=false
• 关键词: Software; Support; Yale; Haskell; Implentation

Haskell is a general purpose, purely functional programming language, designed by a 15-member international committee, and named after the logician Haskell B. Curry. The committee was formed because it was felt that research and application of modern functional languages were being hampered by the lack of a common language. The design was completed in April 1990, and has been very well received both inside and outside the functional programming community. Naturally, there is a great need for a good, robust, and freely available implementation of Haskell. The Yale Haskell implementation has the potential to serve this role, it being based on years of functional language implementation experience at Yale, and being the most comprehensive implementation of Haskell currently available supporting both compiled and interpreted code, separate compilation, and program development tools. However, Yale Haskell needs further support to be truly effective and this award provides that support. Maintaining such a system is not an easy task, and falls more in the category of software maintenance than research. Because of the rapid growth of functional programming, the demand for an effective and reliable implementation of Haskell, and the lack of other implementations as comprehensive, necessitates support for Yale Haskell. The goals are to stabilize, maintain, distribute, and improve the implementation.

Haskell是一种通用的纯函数式编程语言，由一个由15名成员组成的国际委员会设计，以逻辑学家Haskell B.Curry的名字命名。之所以成立该委员会，是因为人们认为现代函数式语言的研究和应用因缺乏共同语言而受到阻碍。该设计于1990年4月完成，在函数式编程社区内外都非常受欢迎。当然，非常需要一个好的、健壮的、免费可用的Haskell实现。Yale Haskell实现基于耶鲁多年的函数式语言实现经验，是目前可用的最全面的Haskell实现，支持编译和解释代码、单独编译和程序开发工具，因此有潜力发挥这一作用。然而，耶鲁·哈斯克尔需要进一步的支持才能真正有效，而这个奖项提供了这种支持。维护这样一个系统并不是一件容易的事情，与其说是研究，不如说是软件维护。由于函数式编程的快速发展，对有效和可靠的Haskell实现的需求，以及缺乏其他全面的实现，因此有必要支持Yale Haskell。目标是稳定、维持、分配和改进执行。