Changes between Version 6 and Version 7 of Status/Oct09


Ignore:
Timestamp:
Nov 3, 2009 2:58:59 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct09

    v6 v7  
    66for others to get involved.  We are particularly eager to find partners 
    77who are willing to take responsibility for a particular platform  
    8 (e.g. Sparc/Solaris, currently maintained by Ben Lippmeier); see [wiki:Platforms]. 
     8(e.g. Sparc/Solaris, currently maintained by Ben Lippmeier); see [Platforms]. 
    99 
    1010== The GHC 6.12 release ==  
     
    3030 * Dynamic linking is now supported on Linux, and support for other 
    3131   platforms will follow.  Thanks for this most recently go to 
    32    the [http://industry.haskell.org Industrial Haskell Group] (thank you, IHG!) who 
     32   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 
    3434   several people over recent years.[[BR]] 
     
    7474   removed or replaced with something simpler in 6.14. 
    7575 
    76 For 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], which mention many things skipped over here. 
     76For 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. 
    7777 
    7878Another big change with GHC 6.12 is that Hackage and the Haskell Platform is 
     
    111111We have developed the "!OutsideIn" algorithm, which gives a much nicer 
    112112account of type inference than our previous story of type inference 
    113 [ICFP09]. More controversially, we now believe that local let/where 
     113[ICFP09a]. More controversially, we now believe that local let/where 
    114114bindings should not be generalised [!LetGen].  Dimitrios is building a 
    115115prototype that embodies these ideas, which we'll then transfer into 
     
    203203 
    204204 
    205 == References == 
     205== Bibliography: papers == 
    206206 
    207207 * [ICFP09a] "Complete and Decidable Type Inference for GADTs", Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann, and Dimitrios Vytiniotis. ICFP'09.  [http://research.microsoft.com/~simonpj/papers/gadt] 
     
    223223 * [PeterJ] "Positive supercompliation for a higher order call-by-value language", Peter Jonsson and Johan Nordlander, POPL 2009. [http://www.csee.ltu.se/~pj/papers/scp/index.html] 
    224224 
    225  * [Annotations] Annotations in GHC [http://hackage.haskell.org/trac/ghc/wiki/Annotations] 
    226  
    227  * [!CodeGen] The new codegen pipeline [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/NewCodeGenPipeline] 
     225 * [IHG] The Industrial Haskell Group. http://industry.haskell.org 
     226 
     227 * [UserManual] GHC 6.12 user manual.  http://www.haskell.org/ghc/dist/current/docs/html/users_guide/index.htm 
     228 
     229== Bibliography: wiki== 
     230 
     231All these URLs should be preceded with http://hackage.haskell.org/trac/ghc/wiki 
     232 
     233 * [Platforms] Platforms that GHC supports [wiki:Platforms] 
     234 * [Annotations] Annotations in GHC [wiki:Annotations] 
     235 * [!CodeGen] The new codegen pipeline [wike:Commentary/Compiler/NewCodeGenPipeline]