Difference between revisions of "Language and library specification"
|Line 1:||Line 1:|
== The Haskell 98 report ==
== The Haskell 98 report ==
Revision as of 03:23, 14 January 2007
- The copyright status of this work is not known. Please help resolve this on the talk page.
The Haskell 98 report
The Haskell 98 Report has undergone an extensive process of revision since its publication in January 1999. This process converged in January 2003, producing the Revised Report.
The Revised Report is published by Cambridge University Press, as a book "Haskell 98 language and libraries: the Revised Report", and also as a Special Issue of the Journal of Functional Programming 13(1) Jan 2003.
The text and sources of the Report are neverthless still available online. Note that these documents are intended to define Haskell and are not appropriate for learning Haskell. For the latter have a look at the Haskell bookshelf.
- The Haskell 98 Report (Revised)
A complete list of all changes made to both reports between the Jan 1999 publication and the Revised Report (Dec 2002).
The source for the Report is in a publicly visible CVS repository. If you render the report in a new way that others may wish to use, please let us know and we'll add it to this web page. If you have any other ways to package the report please let us know and we'll add them.
Addenda to the report
A number of conservative extensions to the base language Haskell 98 in the form of addenda to the language definition are under way. These extensions strive to complement the base language in areas that have not been covered during the design of Haskell 98, but which are perceived to be of crucial importance in some application areas. An effort is made to design these extensions to have minimal impact on existing Haskell 98 programs.
The benefit of a H98 Addendum over any random language extension provided by some Haskell implementation is that a H98 Addendum is a standardised design, and programs coded against such an addendum can be expected to be portable across implementations that support this standard. Generally, implementations of H98 are not required to implement all H98 Addenda, but if such an implementation does provide a feature that is covered by an addendum, it is expected that this extension conforms to that addendum (in the same way as it is expected to abide by the H98 language definition).
The next revision of the language
Work started in late 2005 on the next revision of the Haskell language. A committee has been formed, and it aims to present a candidate for a new standard by late 2006. The working-title for the revised language is Haskell' (Haskell-prime). The work of the committee is public, being recorded on a separate Haskell-prime wiki, and there is a public mailing list for discussion as well.
- A lexer, parser and pretty printer for Haskell, available in the haskell-src library
- A parser for Haskell written purely in Haskell (using the Happy parser generator).
- Typing Haskell in Haskell
- A Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users.
Historic development of Haskell
The Haskell 98 report was released in February 1999; it is a refinement and simplification of Haskell 1.4. See the Haskell 98 page for more details on Haskell 98 and changes from Haskell 1.4.
The definition of Haskell version 1.4 was finished in April 1997. It contains just minor changes with respect to version 1.3 from May 1996, whereas the step from version 1.2 to version 1.3 was quite large.
- Original Haskell 98 report
- Original Haskell 98 library report
- Haskell 1.4 report
- Haskell 1.4 library report
- Haskell 1.3 report (May 1996)
- Postscript (gzip) [140 pages, 225 K]
- Changes from 1.2
- A short guide on converting programs from Haskell 1.2 to 1.3
- Haskell 1.2 report (March 1992)
- Postscript (gzip) [176 pages, 230 K]
- Haskell 1.1 report
- Tarball (gzip) [469 K]
- Haskell 1.0 report
Old definitions of the semantics of Haskell:
- The Static Semantics of Haskell
- Simon Peyton Jones and Philip Wadler, Unpublished Technical Report, University of Glasgow, 1991, 49 pages.
- A Dynamic Semantics for Haskell (Draft)
- Kevin Hammond and Cordelia Hall, University of Glasgow, 1992, 23 pages.