Changes between Version 6 and Version 7 of Status/October08


Ignore:
Timestamp:
Oct 21, 2008 2:58:07 AM (7 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