Changes between Version 15 and Version 16 of Status/April07


Ignore:
Timestamp:
Apr 30, 2007 9:49:26 AM (8 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