Changes between Version 21 and Version 22 of Supercompilation


Ignore:
Timestamp:
Jul 17, 2009 8:57:20 AM (6 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 ==