On Tue, Aug 31, 2010 at 9:01 PM, Patrick Li <[email protected]> wrote: > Thanks for the suggestions. > I'm interested in the suggestion about reasoning about data flow actually. > I'm interested in a systematic way for users to program these optimizations. > Do you know of any readings that might be helpful to me?
This might be of interest: http://research.microsoft.com/en-us/um/people/simonpj/papers/c--/hoopl-haskell10.pdf In general this is a huge problem (equivalent, I think, to the "sufficiently smart compiler" problem, which itself is equivalent to solving AI). HTH, N. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
