Changes between Version 4 and Version 5 of Status/May08

Timestamp:

05/06/08 05:19:28 (5 years ago)

Author:

simonpj

Comment:

--

Status/May08

@@ -13 +13 @@
   * '''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]". 
 
-  * '''Impredicative polymorphism'''.  We are not happy with GHC's current implementation of impredicative polymorphism, which is rather complicated and ad hoc.  Dimitrios (with Simon and Stephanie) wrote a paper about a new and better approach: "[http://research.microsoft.com/%7Esimonpj/papers/boxy FPH : First-class Polymorphism for Haskell]".  At the same time, Daan Leijen refined his closely-related design: "[http://research.microsoft.com/users/daan/pubs.html Flexible types: robust type inference for first-class polymorphism]".  Daan's design has a much simpler implementation, in exchange for an (arguably) less-predicatable specification.  Which of these two should we implement?  Let us know!
+  * '''Impredicative polymorphism'''.  We are not happy with GHC's current implementation of impredicative polymorphism, which is rather complicated and ad hoc.  Dimitrios (with Simon and Stephanie) wrote a paper about a new and better approach: "[http://research.microsoft.com/%7Esimonpj/papers/boxy FPH : First-class Polymorphism for Haskell]".  At the same time, Daan Leijen has been working on his closely-related design: "[http://research.microsoft.com/users/daan/pubs.html Flexible types: robust type inference for first-class polymorphism]".  Daan's design has a much simpler implementation, in exchange for an (arguably) less-predicatable specification.  Which of these two should we implement?  Let us know!
 
 Work on the back end has been stalled, but John Dias started a 6-month internship in April, so expect progress on this front!