ANNOUNCE

   1
   2            ===============================================
   3             The Glasgow Haskell Compiler -- version 8.0.1
   4            ===============================================
   5
   6 The GHC developers are very pleased to announce the release of the first
   7 new super-major version of our Haskell compiler in six years, GHC 8.0.1.
   8
   9 This release features dozens of exciting developments including,
  10
  11  * A more refined interface for implicit call-stacks, allowing libraries to
  12    provide more helpful runtime error messages to users
  13
  14  * The introduction of the DuplicateRecordFields language extension, allowing
  15    multiple record types to declare fields of the same name
  16
  17  * Significant improvements in error message readability and content, including
  18    facilities for libraries to provide custom error messages, more aggressive
  19    warnings for fragile rewrite rules, and more helpful errors for missing
  20    imports
  21
  22  * A rewritten and substantially more thorough pattern match checker, providing
  23    more precise exhaustiveness checking in GADT pattern matches
  24
  25  * More reliable debugging information including experimental backtrace support,
  26    allowing better integration with traditional debugging tools
  27
  28  * Support for desugaring do-notation to use Applicative combinators, allowing
  29    the intuitive do notation to be used in settings which previously required
  30    the direct use of Applicative combinators
  31
  32  * The introduction of Strict and StrictData language extensions, allowing
  33    modules to be compiled with strict-by-default evaluation of bindings
  34
  35  * Great improvements in portability, including more reliable linking on
  36    Windows, a new PPC64 code generator, support for the AIX operating system,
  37    unregisterised m68k support, and significant stabilization on ARM targets
  38
  39  * A greatly improved user's guide, with beautiful and modern PDF and HTML
  40    output
  41
  42  * Introduction of type application syntax, reducing the need for proxies
  43
  44  * More complete support for pattern synonyms, including record pattern synonyms
  45    and the ability to export patterns "bundled" with a type, as you would a data
  46    constructor
  47
  48  * Support for injective type families and recursive superclass relationships
  49
  50  * An improved generics representation leveraging GHC's support for type-level
  51    literals
  52
  53  * The TypeInType extension, which unifies types and kinds, allowing GHC to
  54    reason about kind equality and enabling promotion of more constructs to the
  55    type level
  56
  57  * ...and more!
  58
  59 A more thorough list of the changes included in this release can be found in the
  60 release notes,
  61
  62     https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_guide/8.0.1-notes.html
  63
  64 As always, we have collected various points of interest for users of previous
  65 GHC releases on the GHC 8.0 migration page,
  66
  67     https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0
  68
  69 Please let us know if you encounter anything missing or unclear on this page.
  70
  71 This release is the culmination of nearly eighteen months of effort by over one
  72 hundred contributors. We'd like to thank everyone who has contributed code, bug
  73 reports, and feedback over the past year. It's only because of their efforts
  74 that GHC continues to evolve.
  75
  76
  77 How to get it
  78 ~~~~~~~~~~~~~
  79
  80 Both the source tarball and binary distributions for a wide variety of platforms
  81 are available at,
  82
  83     http://www.haskell.org/ghc/
  84
  85
  86 Background
  87 ~~~~~~~~~~
  88
  89 Haskell is a standardized lazy functional programming language.
  90
  91 The Glasgow Haskell Compiler (GHC) is a state-of-the-art programming suite for
  92 Haskell. Included is an optimising compiler generating efficient code for a
  93 variety of platforms, together with an interactive system for convenient, quick
  94 development. The distribution includes space and time profiling facilities, a
  95 large collection of libraries, and support for various language extensions,
  96 including concurrency, exceptions, and foreign language interfaces. GHC is
  97 distributed under a BSD-style open source license.
  98
  99
 100 Supported Platforms
 101 ~~~~~~~~~~~~~~~~~~~
 102
 103 The list of platforms we support, and the people responsible for them, can be
 104 found on the GHC wiki
 105
 106     http://ghc.haskell.org/trac/ghc/wiki/Platforms
 107
 108 Ports to other platforms are possible with varying degrees of difficulty. The
 109 Building Guide describes how to go about porting to a new platform:
 110
 111     http://ghc.haskell.org/trac/ghc/wiki/Building
 112
 113
 114 Developers
 115 ~~~~~~~~~~
 116
 117 We welcome new contributors. Instructions on getting started with hacking on GHC
 118 are available from GHC's developer site,
 119
 120     http://ghc.haskell.org/trac/ghc/
 121
 122
 123 Community Resources
 124 ~~~~~~~~~~~~~~~~~~~
 125
 126 There are mailing lists for GHC users, develpoers, and monitoring bug tracker
 127 activity; to subscribe, use the web interfaces at
 128
 129     http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
 130     http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
 131     http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
 132
 133 There are several other Haskell and GHC-related mailing lists on
 134 www.haskell.org; for the full list, see
 135
 136     https://mail.haskell.org/cgi-bin/mailman/listinfo
 137
 138 Some GHC developers hang out on the #ghc and #haskell of the Freenode IRC
 139 network, too:
 140
 141     http://www.haskell.org/haskellwiki/IRC_channel
 142
 143 Please report bugs using our bug tracking system. Instructions on reporting bugs
 144 can be found here:
 145
 146     http://www.haskell.org/ghc/reportabug