Changes between Version 21 and Version 22 of Supercompilation


Ignore:
Timestamp:
Jul 17, 2009 8:57:20 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v21 v22  
    3232 * Implement Simon's algorithm. 
    3333 
    34 Other things we need to watch out for 
     34Shortcomings of the prototype: 
     35 * Use a state monad 
     36 * Uses eager substitution 
    3537 * Divide by zero 
    3638 * Homeomorphic embedding for types?  Currently all types are regarded as equal (like literals).  Decision: leave it this way for now. 
     
    4042   * case (x>y)of { ....case (x>y) of ... } 
    4143   * Extending this to specialised functions themselves. 
     44 
     45What next? 
     46 * Export unfoldings for recursive functions.  Remember to add the "loop-breaker" info to interface files (and read it back in). 
     47 * Write drive, msg, split in the R form.  Still with eager substitution 
     48 * Lambda lifting 
     49 * Using lazy substitutions 
     50 * Refined whistle-blowing test 
     51 * Neil's msg 
     52 
     53Later 
     54 * Case-of-case duplication 
     55 * Post-pass to identify deepId 
     56 * Post-pass to undo redundant specialisation?? 
    4257 
    4358== Open questions ==