[iskander]

Not just functional programs. You can transform any old C program into specific subsets of lambda calculus (administrative normal form or continuation passing style) and do all your optimizations there.