Changes between Version 7 and Version 8 of Status/Oct09


Ignore:
Timestamp:
Nov 3, 2009 3:10:56 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct09

    v7 v8  
    110110insight, to re-engineer the implementation into something more robust. 
    111111We have developed the "!OutsideIn" algorithm, which gives a much nicer 
    112 account of type inference than our previous story of type inference 
     112account of type inference than our previous story of type inference. 
     113The new approach is described in [http://research.microsoft.com/~simonpj/papers/gadt Complete and Decidable Type Inference for GADTs]  
    113114[ICFP09a]. More controversially, we now believe that local let/where 
    114 bindings should not be generalised [!LetGen].  Dimitrios is building a 
     115bindings should not be generalised --  
     116see [http://research.microsoft.com/~simonpj/papers/constraintsLet should not be generalised] [!LetGen].  Dimitrios is building a 
    115117prototype that embodies these ideas, which we'll then transfer into 
    116118GHC. 
    117119 
    118120Meanwhile, Dimitrios, Simon, and Stephanie Weirich are also working on 
    119 fixing one of GHC's more embarassing bugs (Trac #1969 '''Simon check'''), 
     121fixing one of GHC's more embarassing bugs (Trac #1496), 
    120122whereby an interaction of type families and the newtype-deriving can 
    121123persuade GHC to generate type-unsound code. It's remained un-fixed 
     
    129131Some highlights 
    130132 
    131  * Read Max Bolingbroke's paper on Strict Core [MaxB], a possible new 
     133 * Read Max Bolingbroke's paper on [http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf Strict Core] [MaxB], a possible new 
    132134   intermediate language for GHC.  Adopting Strict Core would be a Big  
    133135   Change, however, and we have not decided to do so (yet). 
     
    135137 * Simon PJ totally re-engineered the way that INLINE pragmas are  
    136138   implemented., with the goal of making them more robust and  
    137    predicatable [!InlinePatch].  There's a new CONLIKE pragma which 
     139   predicatable [[http://www.haskell.org/pipermail/cvs-ghc/2009-October/050881.html !InlinePatch]].  There's a new CONLIKE pragma which 
    138140   affects rule matching. 
    139141 
    140142 * Peter Jonsson did an internship in which he made a start on turning 
    141    GHC into a supercompiler.  Neil Mitchell's terrific PhD thesis suggested 
     143   GHC into a supercompiler.  Neil Mitchell's [http://community.haskell.org/~ndm/thesis/ terrific PhD thesis] suggested 
    142144   that supercompliation works well for Haskell [!NeilM], and Peter has been working on 
    143    supercompilation for Timber as part of his own PhD [!PeterJ]. 
     145   supercompilation for Timber as part of his [http://www.csee.ltu.se/~pj/papers/scp/index.html own PhD] [!PeterJ]. 
    144146   The GHC version isn't ready for prime time yet, but Simon PJ (now 
    145147   educated by Peter and Neil) is keen to pursue it. 
     
    154156=== Parallelism === 
    155157 
    156 Most of the changes in this area in GHC 6.12.1 were described in our ICFP'09 paper [!ICFP09b][http://www.haskell.org/~simonmar/bib/multicore-ghc-09_abstract.html Runtime Support for Multicore Haskell].  The highlights: 
     158Most of the changes in this area in GHC 6.12.1 were described in our ICFP'09 paper [http://www.haskell.org/~simonmar/bib/multicore-ghc-09_abstract.html Runtime Support for Multicore Haskell] [ICFP09b].  The highlights: 
    157159 
    158160 * Load-balancing of sparks is now based on lock-free work-stealing queues. 
     
    225227 * [IHG] The Industrial Haskell Group. http://industry.haskell.org 
    226228 
    227  * [UserManual] GHC 6.12 user manual.  http://www.haskell.org/ghc/dist/current/docs/html/users_guide/index.htm 
    228  
    229 == Bibliography: wiki== 
     229 * [!UserManual] GHC 6.12 user manual.  http://www.haskell.org/ghc/dist/current/docs/html/users_guide/index.htm 
     230 
     231== Bibliography: wiki == 
    230232 
    231233All these URLs should be preceded with http://hackage.haskell.org/trac/ghc/wiki