语言和库规范

来自HaskellWiki
(重定向自定义)
跳转到导航 跳转到搜索


哈斯克尔2010年报告

Haskell2010报告于2010年7月发布,是Haskell语言的当前定义。它以以下格式在线免费提供:

请注意,这些文档旨在定义Haskell,不适合学习Haskell。对于后者,请查看哈斯克尔书架.

如果你发现报告中有错误,请发送给haskell-pime邮件列表(您必须先注册),或直接发送到当前委员会成员.

Haskell报告的来源也可用:

Haskell 98报告

哈斯克尔98(修订版)报告由剑桥大学出版社出版“Haskell 98语言和库:修订报告”,也作为函数编程杂志特刊,2003年1月13(1)日。

Haskell 98报告还以多种格式在线提供:

所有更改的完整列表在1999年1月的出版物和2002年12月的修订报告之间对两份报告进行了修订。

报告的源位于公开可见的CVS存储库。如果您以其他人可能希望使用的新方式呈现报告,请告知我们,我们会将其添加到此网页。如果您有其他打包报告的方法,请告知我们,我们会添加这些方法。

该报告仍有一些小错误。Haskell 98错误页面。将任何新错误报告给马尔科姆·华莱士.

报告增编

Haskell 98报告的这些附录均纳入Haskell2010报告中,因此此处仅出于历史利益考虑。

最终确定:

  1. 外部函数接口(外国金融机构)

候选人:

  1. 分层模块

语言的未来修订

预计从Haskell 2010开始,每年进行一次语言修订。连续修订过程称为Haskell Prime公司.

相关工作

语言。哈斯克尔
Haskell的lexer、解析器和漂亮的打印机,可从Haskell-src库中获得
输入Haskell
一个Haskell程序,它实现了Haskelltypechecker,从而以Haskel用户熟悉的符号提供了数学上严格的规范。其网页已缓存在这里.
[1]
Twelf中的核心语言操作语义。
[2]
核心语言的空间语义。亚当·贝克韦尔。程序。2000年Haskell研讨会。2001年9月。
在Coq中验证的STG机器的系统推导
Pirog和Dariusz Biernacki,2010年
STG机器型号
正式验证STG机器
模块系统规范

哈斯克尔的历史发展

Haskell 98报告于1999年2月发布;它是一个Haskell 1.4的改进和简化。请参阅Haskell 98页有关的更多详细信息Haskell 98和Haskell1.4的更改。

定义Haskell 1.4版于1997年4月完成。它只包含次要的与1996年5月的1.3版相关的更改,而步骤从1.2版到1.3版都相当大。

Haskell语义的旧定义:

Haskell的静态语义
Simon Peyton Jones和Philip Wadler,未出版技术报告,格拉斯哥大学,1991年,49页。
Haskell的动态语义(草案)
Kevin Hammond和Cordelia Hall,格拉斯哥大学,1992年,23页。