Changes between Version 5 and Version 6 of Status/October06


Ignore:
Timestamp:
Oct 31, 2006 12:53:13 AM (8 years ago)
Author:
chak
Comment:

Added pointer to type-indexed types wiki docs

Legend:

Unmodified
Added
Removed
Modified
  • Status/October06

    v5 v6  
    1919  * 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. 
    2020 
    21  * 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 pretty complete; still to come is the user documentation, and some bits around the edges on `deriving`. 
     21 * 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. 
    2222 
    2323 * 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] 
     
    3939 * We hope to release a first iteration of our '''data-parallel extensions''' before Christmas. 
    4040 
    41  * Once ''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. 
     41 * 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. 
    4242 
    4343Simon Peyton Jones & Simon Marlow, October 2006