Changes between Version 14 and Version 15 of Status/October06


Ignore:
Timestamp:
Nov 1, 2006 6:49:28 AM (7 years ago)
Author:
p_tanski
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October06

    v14 v15  
    22 
    33GHC is in good shape. We have no good way to measure how many GHC 
    4 users there are, but if the traffic on the GHC mailing lists is 
     4users there are but if the traffic on the GHC mailing lists is 
    55anything to go by, the numbers are increasing quite rapidly. Indeed, 
    66GHC was rapidly becoming a success-disaster, so that we (Simon & 
     
    1313 * With wonderful support from Galois and Portland State University, we ran a '''GHC Hackathon''' immediately before ICFP in Portland.  Forty-plus people showed up to have GHC's innards inflicted on them, and appeared unharmed by the experience. 
    1414 
    15   A significant outcome is that we have written a great deal of Wiki material about GHC's implementation (the "commentary"), and about how to build and modify GHC (the "building guide").  Documents with these titles were available before, but had become rather out of date.  These new, up-to-date documents live on the GHC developer's Wiki.  We urge you to read and improve them:   [http://hackage.haskell.org/trac/ghc/wiki] (near the bottom). 
     15  A significant outcome is that we have written a great deal of Wiki material about GHC's implementation (the "commentary") and about how to build and modify GHC (the "building guide").  Documents with these titles were available before but had become rather out of date.  These new, up-to-date documents live on the GHC developer's Wiki.  We urge you to read and improve them:   [http://hackage.haskell.org/trac/ghc/wiki] (near the bottom). 
    1616 
    17 We (finally) released '''GHC 6.6''' in October 2006. There was an extended period of release-candidate testing, so we fondly hope that this will be a relatively stable release. Main improvement over GHC 6.4 is support for SMP systems - now GHC can execute several Haskell threads on different cpus/cores. There also lot of other improvements, stare at [http://haskell.org/ghc/docs/6.6/html/users_guide/release-6-6.html Release notes] and jump to [http://www.haskell.org/ghc/download_ghc_66.html Download] page to get it.  Significant new features, all described in modre detail in the release notes, include: 
     17We (finally) released '''GHC 6.6''' in October 2006. There was an extended period of release-candidate testing, so we fondly hope that this will be a relatively stable release. The main improvement over GHC 6.4 is support for SMP systems - now GHC can execute several Haskell threads on different cpus/cores. There also many other improvements, listed at [http://haskell.org/ghc/docs/6.6/html/users_guide/release-6-6.html Release notes].  To get GHC 6.6, go to [http://www.haskell.org/ghc/download_ghc_66.html Download].  Significant new features, all described in more detail in the [http://haskell.org/ghc/docs/6.6/html/users_guide/release-6-6.html release notes], include: 
    1818 * Support for multi-processors 
    1919 * Impredicative polymorphism 
     
    3636 * Andy Gill implemented the '''Haskell Program Coverage''' option ('''-fhpc''') for GHC, which is solid enough to be used to test coverage in GHC itself.  (It turns out that the GHC testsuite gives remarkably good coverage over GHC already.) 
    3737 
    38 We are now working on lots of new stuff that isn't yet in GHC HEAD, but will end up there if all goes well, and then become a part of GHC 6.8: 
     38We are now working on lots of new stuff that isn't yet in GHC HEAD but will end up there if all goes well and then become a part of GHC 6.8: 
    3939 
    40  * Roman Leshchinskiy has been hard at work developing libraries that support '''data-parallel computation''' in GHC.  It's not quite ready for public consumption, but you can peek at what is going on by looking at the Haskell Wiki: [http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell]  Background material here: [http://www.cse.unsw.edu.au/~chak/papers/CKLP01.html].  We hope to release a first iteration of our '''data-parallel extensions''' before Christmas. 
     40 * Roman Leshchinskiy has been hard at work developing libraries that support '''data-parallel computation''' in GHC.  It's not quite ready for public consumption but you can peek at what is going on by looking at the Haskell Wiki: [http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell]  Background material here: [http://www.cse.unsw.edu.au/~chak/papers/CKLP01.html].  We hope to release a first iteration of our '''data-parallel extensions''' before Christmas. 
    4141 
    4242 * At the moment GHC's '''garbage collector''' is single-threaded, even when GHC is running on a multiprocessor.  Roshan James spent the summer at Microsoft on an internship, implementing a multi-threaded GC.  We need to do a bit more work, but with a bit of luck we'll push a parallel garbage collector into the HEAD before Christmas. 
     
    4444 * Simon PJ is determined to finally implement '''implication constraints''', which are the key to fixing the interaction between GADTs and type classes.   GHC's users have been very polite about this collection of bugs, but they should really be fixed.  Implication constraints are described by Martin Sulzmann: [http://www.comp.nus.edu.sg/~sulzmann/publications/tr-eadt.ps.gz]. 
    4545 
    46  * Once the last bits of indexed data types are done, Manuel will be tackling '''indexed type synonyms''' (aka type functions), which are considerably tricker, at least so far as type inference is concerned. 
     46 * Once the last bits of indexed data types are done, Manuel will be tackling '''indexed type synonyms''' (aka type functions), which are considerably trickier, at least so far as type inference is concerned. 
    4747 
    4848Simon, Simon, with help from Manuel, Bulat and others, October 2006 :)