Changes between Version 16 and Version 17 of Status/October06


Ignore:
Timestamp:
Nov 1, 2006 6:51:39 AM (8 years ago)
Author:
p_tanski
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October06

    v16 v17  
    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, already includes significant new features: 
     26Life still goes on and current development version (HEAD) [http://darcs.haskell.org/ghc/], that will ultimately become GHC 6.8, already includes significant new features: 
    2727 
    2828 * 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.