Changes between Version 11 and Version 12 of Status/May08


Ignore:
Timestamp:
May 8, 2008 7:59:55 AM (6 years ago)
Author:
chak
Comment:

Add CfT (Call for Testing) to type family entry

Legend:

Unmodified
Added
Removed
Modified
  • Status/May08

    v11 v12  
    1111    * Quasi-quoting 
    1212 
    13   * '''Type-indexed families'''.  We learned a lot by writing a paper about the question of type inference in the presence of type families (and existentials, and GADTs): "[http://research.microsoft.com/%7Esimonpj/papers/assoc-types Type checking with open type functions]".  The implementation has not quite caught up with the paper and is still incomplete in many ways, but it's a focus of active work 
     13  * '''Type-indexed families'''.  We learned a lot by writing a paper about the question of type inference in the presence of type families (and existentials, and GADTs): "[http://research.microsoft.com/%7Esimonpj/papers/assoc-types Type checking with open type functions]".  The implementation has not quite caught up with the paper and is still incomplete in many ways, but it's a focus of active work and already usable.  If you are interested in type families, now would be a good time to grab a development snapshot of GHC, write some programs or port your favourite program using functional dependencies, and then, let us know what does and what doesn't work for you. 
    1414 
    1515  * '''Parallel garbage collection'''. Much implementation work, and a paper for ISMM 2008: "[http://research.microsoft.com/%7Esimonpj/papers/parallel-gc/index.htm Parallel generational-copying garbage collection with a block-structured heap]".