Arc Forumnew | comments | leaders | submitlogin
2 points by akkartik 3477 days ago | link | parent

Yeah there's a bunch of haskell papers on this. Among other things, purity and lazy eval allow them to do crazy loop-fusion transformations:

I did compiler work in a past life, but it was C compilers where you have to be crazy conservative in your transformations.