Changes between Version 11 and Version 12 of Status/Oct12


Ignore:
Timestamp:
Oct 31, 2012 2:35:25 PM (18 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct12

    v11 v12  
    2828 Moreover, Trevor !McDonell has made good progress in devising a novel fusion system for the embedded Accelerate GPU language. We hope to be able to release it around the same time as GHC 7.8. 
    2929 
     30 * '''Overlapping type family instances.''' Richard Eisenberg is close to finishing an implementation of overlapping type family instances. The overlap mechanism is distinct from overlapping type class instances, as the programmer has to give an explicit ordering to the overlapping instances. More information can be found on the wiki page [11]. 
     31 
    3032 * dynlibs-by-default 
    3133 
     
    4446[7] Givng Haskell a promotion, Brent Yorgey et al, TLDI'12 [http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/] [[BR]] 
    4547[8] The Right Kind of Generic Programming, José Pedro Magalhães, WGP'12 [http://dreixel.net/research/pdf/trkgp.pdf] [[BR]] 
    46 [9] Dependently typed programming with singletons, Richard Eisenberge et al, HS'12 [http://www.cis.upenn.edu/~eir/pubs.html]  [[BR]] 
    47 [10] Holes in GHC:  [http://hackage.haskell.org/trac/ghc/wiki/Holes] 
     48[9] Dependently typed programming with singletons, Richard Eisenberg et al, HS'12 [http://www.cis.upenn.edu/~eir/pubs.html]  [[BR]] 
     49[10] Holes in GHC:  [http://hackage.haskell.org/trac/ghc/wiki/Holes] [[BR]] 
     50[11] Overlapping type family instances: [http://hackage.haskell.org/trac/ghc/wiki/NewAxioms]