Changes between Version 6 and Version 7 of Status/May08


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May08

    v6 v7  
    11= GHC Status May 2008 = 
    22 
    3 The last six months have been a time of consolidation for GHC.  We have done many of the things described in the last HCAR status report (November 2007), but there are few new headline items to report, so this status report is briefer than usual.   
     3The last six months have been a time of consolidation for GHC.  We have done many of the things described in the last HCAR status report (November 2007), but there are few new headline items to report, so this status report is briefer than usual.  
     4 
     5== Highlights of the last six months == 
    46 
    57  * '''Simple language extensions''' 
     
    1517  * '''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-predictable specification.  Which of these two should we implement?  Let us know! 
    1618 
    17 Work on the back end has been stalled, but John Dias started a 6-month internship in April, so expect progress on this front! 
     19  * '''External Core'''.  Tim Chevalier has been working on making GHC emit External Core that can be correctly parsed, typechecked, and interpreted by a separate Haskell program.  This isn't the same as the ability to round-trip External Core back into GHC, but it's a big step forward from the bit-rotted state into which External Core had fallen. 
     20 
    1821 
    1922== Nested data parallelism == 
     
    2427 
    2528We expect to release a working version of Data Parallel Haskell as part of GHC 6.10 (see below). 
     29 
     30== Other current activities == 
     31 
     32 * Work on the '''back end''' has been stalled, but John Dias started a 6-month internship in April, so expect progress on this front. 
     33 
     34 * Thomas Schilling is doing a Google Summer of Code project to improve the '''GHC API'''. 
     35  
     36 * Max Bolingbroke is doing a Google Summer of Code project to make it easy to build a '''plug-in''' for GHC; for example, a new optimisation or analysis pass. 
     37 
    2638 
    2739 
     
    3648  * Parallel garbage collection 
    3749  * Extensible exceptions 
     50  * External Core 
    3851  * Shared libraries 
    3952  * Improved back end