Changes between Version 12 and Version 13 of Status/Oct12
- Timestamp:
- 10/31/12 10:32:18 (7 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status/Oct12
v12 v13 7 7 * The ability to change ''at runtime'' the number of processors running Haskell threads. 8 8 * The first supported GHC for 64-bit Windows. 9 * Type-level literal symbols. 9 10 10 11 Here is what we have been up to in the last six months: … … 38 39 * '''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. 39 40 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 40 43 As always there is far more to do than we can handle, and there is loads of space for people to contribute. Do join us! 41 44 … … 48 51 [9] Dependently typed programming with singletons, Richard Eisenberg et al, HS'12 [http://www.cis.upenn.edu/~eir/pubs.html] [[BR]] 49 52 [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]]
