Changes between Version 7 and Version 8 of Status/Oct09


Ignore:
Timestamp:
Nov 3, 2009 3:10:56 PM (6 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