Changes between Version 15 and Version 16 of Status/April07


Ignore:
Timestamp:
Apr 30, 2007 9:49:26 AM (7 years ago)
Author:
simonmar
Comment:

qualify Simon in a few places

Legend:

Unmodified
Added
Removed
Modified
  • Status/April07

    v15 v16  
    9595more complicated than we expected; and it delivers fewer benefits than 
    9696we hoped.  For example, the system described in the paper does not 
    97 type-check (`runST $ foo`) and everyone complains. So Simon added 
     97type-check (`runST $ foo`) and everyone complains. So Simon PJ added 
    9898an even more ad-hoc extension that does left-to-right instantiation. 
    9999 
     
    105105== Optimisations == 
    106106 
    107  * Simon rewrote the Simplifier (again).  It isn't clear whether it was that alone, or 
     107 * Simon PJ rewrote the Simplifier (again).  It isn't clear whether it was that alone, or 
    108108   whether something else happened too, but performance has improved quite significantly; 
    109    on the order of 12%. '''Simon is that right?''' 
     109   on the order of 12%. 
    110110 
    111111 * Roman Leshchinskiy, Don Stewart, and Duncan Coutts did some beautiful 
     
    116116   http://www.cse.unsw.edu.au/~dons/papers/CLS07.html). 
    117117   [[BR]][[BR]] 
    118    Their work highlighted the importance of the SpecConstr transformation, which Simon 
     118   Their work highlighted the importance of the SpecConstr transformation, which Simon PJ 
    119119   implemented several years ago.  Of course, they suggested many enhancements, many of 
    120    which Simon duly implemented; see the new paper "Constructor specialisation for Haskell 
     120   which Simon PJ duly implemented; see the new paper "Constructor specialisation for Haskell 
    121121   programs" http://research.microsoft.com/~simonpj/papers/spec-constr/. 
    122122