Changes between Version 11 and Version 12 of Status/May08

Timestamp:

05/08/08 00:59:55 (5 years ago)

Author:

chak

Comment:

Add CfT (Call for Testing) to type family entry

Status/May08

@@ -11 +11 @@
     * Quasi-quoting
 
-  * '''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.  
+  * '''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.
 
   * '''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]".