Changes between Version 8 and Version 9 of Status/October06


Ignore:
Timestamp:
Oct 31, 2006 8:34:06 PM (7 years ago)
Author:
p_tanski
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October06

    v8 v9  
    1919 * 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]. 
    2020 
    21 Life still go on, and current HEAD version (download url?) that will ultimately become GHC 6.8 adds new features: 
     21Life still goes on, and current HEAD version [http://darcs.haskell.org/ghc/] that will ultimately become GHC 6.8 adds new features: 
    2222 
    2323 * 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.