yea the supercompilation stuff is very cool. there is a more accessible way to get many of the benefits of supercompilation using things more like type systems,

yea the supercompilation stuff is very cool. there is a more accessible way to get many of the benefits of supercompilation using things more like type systems, including partial evaluation: http://www.ymeme.com/hackers-introduction-partial-evaluation.html http://www.ymeme.com/hackers-introduction-partial-evaluation... http://cs.au.dk/~danvy/tdpe-ln.pdf http://cs.au.dk/~danvy/tdpe-ln.pdf http://www.readscheme.org/partial-eval/appl_pe.html http://www.readscheme.org/partial-eval/appl_pe.html