Changes between Version 17 and Version 18 of Status/Oct09


Ignore:
Timestamp:
Nov 4, 2009 8:46:14 AM (5 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.