Changes between Version 10 and Version 11 of Status/October06


Ignore:
Timestamp:
Oct 31, 2006 10:56:49 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October06

    v10 v11  
    2424 * Lastly, we finally bit the bullet and lifted the restriction that every module in a Haskell program must have a distinct name.  Why?  Because it's non-modular: two packages from different authors could accidentally collide.  This change is in GHC 6.6; there are some remaining open choices dicussed here [http://hackage.haskell.org/trac/ghc/wiki/GhcPackages]. 
    2525 
    26 Life still goes on, and current HEAD version [http://darcs.haskell.org/ghc/] that will ultimately become GHC 6.8 adds new features: 
     26Life still goes on, and current HEAD version [http://darcs.haskell.org/ghc/] that will ultimately become GHC 6.8 already includes significant new features: 
    2727 
    28  * We completely replaced GHC's intermediate language with '''System FC(X)''', an extension of System F with explicit equality witnesses.  This enables GHC to support GADTs and associated types, with two new simple but powerful mechanisms. The paper is at [http://research.microsoft.com/%7Esimonpj/papers/ext-f/]. Much of the conversion work was done by Kevin Donnelly, while he was on an internship at Microsoft. 
     28 * We have completely replaced GHC's intermediate language with '''System FC(X)''', an extension of System F with explicit equality witnesses.  This enables GHC to support GADTs and associated types, with two new simple but powerful mechanisms. The paper is at [http://research.microsoft.com/%7Esimonpj/papers/ext-f/]. Much of the conversion work was done by Kevin Donnelly, while he was on an internship at Microsoft. 
    2929 
    3030 * Manuel Chakravarty has implemented '''type-indexed data types''', a modest generalisation of the ''associated data types'' of our POPL'05 paper  [http://research.microsoft.com/%7Esimonpj/papers/assoc%2Dtypes/]. The implementation is in the HEAD and is ready to be tried out; details are at [http://haskell.org/haskellwiki/GHC/Indexed_types] Still to come are some bits around the edges on `deriving` and some small syntactic generalisations. 
     
    3636 * Andy Gill implemented the '''Haskell Program Coverage''' option ('''-fhpc''') for GHC, which succesfully bootstrapped GHC. It turns out that the GHC testsuite gives remarkably good coverage over GHC already. 
    3737 
    38 We also work on the following features that isn't yet in GHC HEAD but finally should go there 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 
    4040 * 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]