Changes between Version 3 and Version 4 of Status/May08


Ignore:
Timestamp:
May 6, 2008 12:19:02 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May08

    v3 v4  
    1313  * '''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]".  
    1414 
    15   * '''Impredicative polymorphism'''.  We're 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! 
     15  * '''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! 
    1616 
    1717Work on the back end has been stalled, but John Dias started a 6-month internship in April, so expect progress on this front!