Re: Closure elimination transformation (continuation style passing code)

Thanks for all the feedback guys, I already find it pretty amazing how well simple stuff expressed in a higher level manner compiles down to something decent, and it seems like the future is only going to get brighter. I can hardly wait... : ) In the meantime, I'll go back to trying to find the right balance between expressiveness and something GHC can turn into lean mean code. Thanks again! -Tyson PS: Sounds like Boquist's thesis would be an interesting read. I've seen references to it come up a couple of times now.