Changes between Version 12 and Version 13 of Status/Oct12


Ignore:
Timestamp:
Oct 31, 2012 5:32:18 PM (18 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct12

    v12 v13  
    77 * The ability to change ''at runtime'' the number of processors running Haskell threads. 
    88 * The first supported GHC for 64-bit Windows. 
     9 * Type-level literal symbols. 
    910 
    1011Here is what we have been up to in the last six months: 
     
    3839 * '''SIMD primitives.''' The `simd` branch now supports passing SSE vector values in machine registers. We expect the `simd` branch to be merged in time for 7.8. 
    3940 
     41 * '''Type-nat solver.''' Iavor S. Diatchki has been working on the type-checker to add support for discharging constraints involving arithmetic operations at the type-level.  This work is on the `type-nats` branch of GHC.   The basic support for common operations is fairly stable, and now it is in the testing phase.  The most externally visible changes to the solver are: experimental support for matching on type-level naturals, using an auxiliary type family [12], and the module GHC.TypeLits was refactored to make it compatible with Richard Eisenberg's `singletons` library [13].  Next, we plan to work on integration with the `master` branch, and experimental support for the inverse operations of what's currently in the solver (i.e., (-), (/), Log, Root). 
     42 
    4043As always there is far more to do than we can handle, and there is loads of space for people to contribute.  Do join us! 
    4144 
     
    4851[9] Dependently typed programming with singletons, Richard Eisenberg et al, HS'12 [http://www.cis.upenn.edu/~eir/pubs.html]  [[BR]] 
    4952[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] 
     53[11] Overlapping type family instances: [http://hackage.haskell.org/trac/ghc/wiki/NewAxioms] [[BR]] 
     54[12] Matching on type nats: [http://hackage.haskell.org/trac/ghc/wiki/TypeNats/MatchingOnNats] [[BR]] 
     55[13] Singletons and kinds: [http://hackage.haskell.org/trac/ghc/wiki/TypeNats/SingletonsAndKinds] [[BR]]