Changes between Version 17 and Version 18 of Status/Oct09


Ignore:
Timestamp:
Nov 4, 2009 8:46:14 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct09

    v17 v18  
    3232   the [http://industry.haskell.org Industrial Haskell Group] (thank you [IHG]!) who
    3333   pushed it into a fully-working state; dynamic linking is the culmination of the work of
    34    several people over recent years.[[BR]]
    35    [[BR]]
     34   several people over recent years.
    3635   One effect of dynamic linking is that binaries shrink dramatically, because the run-time
    3736   system and libraries are shared.  Perhaps more importantly, it is possible
     
    4948   or worse, segfaulting programs.[[BR]]
    5049   [[BR]]
    51    This change involved a large amount of
     50   This change involved a lot of
    5251   internal restructuring, but it paves the way for future improvements
    5352   to the way packages are handled.  For instance, in the future we
     
    5857   more shared libraries.
    5958
    60  * A variety of small improvements to data types: record punning,
    61    declararing constructors with class constraints, GADT syntax for
    62    type fammilies etc.
    63 
    64  * You can omit the "`$`" in a top-level Template Haskell splice, which
    65    makes the TH call look more like an ordinary top-level declaration with
    66    a new keyword.
    67 
    68  * We're are deprecating `mdo` for recursive do-notation, in favour of
    69    the more expressive `rec` statement.
    70 
    71  * We've concluded that the implementation of impredicative
    72    polymorphism is unsustainably complicated, so we are re-trenching.
    73    It'll be depreceated in 6.12 (but will still work), and will be either
    74    removed or replaced with something simpler in 6.14.
     59 * There are a variety of small language changes, including
     60   * Some improvements to data types: record punning,
     61     declaring constructors with class constraints, GADT syntax for
     62     type families etc.[[BR]]
     63   * You can omit the "`$`" in a top-level Template Haskell splice, which
     64     makes the TH call look more like an ordinary top-level declaration with
     65     a new keyword.[[BR]]
     66   * We're are deprecating `mdo` for recursive do-notation, in favour of
     67     the more expressive `rec` statement.[[BR]]
     68   * We've concluded that the implementation of impredicative
     69     polymorphism is unsustainably complicated, so we are re-trenching.
     70     It'll be deprecated in 6.12 (but will still work), and will be either
     71     removed or replaced with something simpler in 6.14.
    7572
    7673For more detail, see the release notes in the [http://www.haskell.org/ghc/dist/current/docs/html/users_guide/index.html 6.12 User manual] [!UserManual], which mention many things skipped over here.