Changes between Version 6 and Version 7 of Status/October08


Ignore:
Timestamp:
Oct 21, 2008 2:58:07 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October08

    v6 v7  
    1515 * '''Type families''' have been completely re-implemented, by Manuel Chakravarty, along the lines of our ICFP 2008 paper [http://research.microsoft.com/%7Esimonpj/papers/assoc-types/index.htm Type checking with open type functions] --- only simpler.  As a result, we believe that type families work reliably in GHC 6.10.  There is one missing feature, however, namely the ability to have equalities in the superclass context of a class.   We'll add that to the HEAD in the next few months. 
    1616 
    17  * GHC now comes with '''Haddock 2''', which supports all GHC extensions 
     17 * GHC now comes with '''Haddock 2''', which supports all GHC extensions, thanks to David Waern. 
    1818 
    1919 * '''Parallel garbage collection''' has been implemented by Simon Marlow.  This speeds up even purely-sequential programs, by using the extra processors during garbage collection.  Our ISMM'08 paper gives the details [http://research.microsoft.com/%7Esimonpj/papers/parallel-gc/index.htm Parallel generational-copying garbage collection with a block-structured heap].  
    2020 
    21  * The base library now uses extensible exceptions, as described in Simon Marlow's paper [http://www.haskell.org/~simonmar/papers/ext-exceptions.pdf An Extensible Dynamically-Typed Hierarchy of Exceptions] (Haskell workshop 2006). 
     21 * The base library now provides, and uses, '''extensible exceptions''', as described in Simon Marlow's paper [http://www.haskell.org/~simonmar/papers/ext-exceptions.pdf An Extensible Dynamically-Typed Hierarchy of Exceptions] (Haskell workshop 2006). 
    2222 
    23  * The GHC API now uses a Ghc Monad, making it easier to use.  Furthermore, the API now has Haddock documentation 
     23 * Thomas Schilling has made the '''GHC API''' easier to use, by using a `Ghc` monad to carry the session state.  Furthermore, the API now has Haddock documentation. 
    2424 
    25  * External core (output only) now works again 
     25 * '''External core''' (output only) now works again, thanks to Tim Chevalier. 
    2626 
    27  * '''Data Parallel Haskell''' (DPH) comes as part of GHC.  In 6.10, for the first time, DPH includes a full vectoriser, so the system is much more usable than before.  It's still really an alpha release though; we very much welcome friendly guinea pigs, but it's not ready for your 3 gigabyte genome search program.  We have a lot of performance tuning to do.  We've written a new paper [http://research.microsoft.com/%7Esimonpj/papers/ndp/index.htm Harnessing the multicores: nested data parallelism in Haskell] (FSTTCS'08), which gives a tutorial overview of the system, focusing especially on vectorisation. 
     27 * '''Data Parallel Haskell''' (DPH) comes as part of GHC, as a result of Roman Leshchinskiy's efforts.  In 6.10, for the first time, DPH includes a full vectoriser, so the system is much more usable than before.  It's still really an alpha release though; we very much welcome friendly guinea pigs, but it's not ready for your 3 gigabyte genome search program.  We have a lot of performance tuning to do.  We've written a new paper [http://research.microsoft.com/%7Esimonpj/papers/ndp/index.htm Harnessing the multicores: nested data parallelism in Haskell] (FSTTCS'08), which gives a tutorial overview of the system, focusing especially on vectorisation. 
    2828 
    2929See the release notes for full details. 
     
    3333Meanwhile, development goes on in the HEAD: 
    3434 
    35  * John Dias is still working hard on rewriting GHC's backend, and his changes should be landing in the next few months 
     35 * John Dias is still working hard on rewriting GHC's backend, and his changes should be landing in the HEAD during October. 
    3636 
    37  * the DPH team are still developing furiously 
     37 * The DPH team are still developing furiously. 
    3838 
    39  * We hope that Max Bolingbroke's "Dynamically Loaded Plugins" summer of code project will be merged in time for 6.12 
     39 * We hope that Max Bolingbroke's '''Dynamically Loaded Plugins''' summer of code project will be merged in time for 6.12.  Part of this is a new, modular system for user-defined '''annotations''', rather like Java or C# attributes.  These attributes are persisted into interface files, can be examined and created by plugins, or by GHC API clients. 
    4040 
    4141 * Likewise, Donnie Jones's project for profiling parallel programs should be merged in time for 6.12 
     
    4545From a development point of view, there are a couple of changes on the horizon: 
    4646 
    47  * We plan to change how GHC's build system works, to decouple it from Cabal's internals 
     47 * We plan to change how GHC's build system works, to decouple it from Cabal's internals.  Our current plans are [wiki:Design/BuildSystem here]. 
    4848 
    4949 * We plan to change from darcs to git for the version control system used by GHC