Re: [Haskell-cafe] Runtime strictness analysis for polymorphic HOFs?

Ryan,

Also, partial application + seq throws a wrench in things: [...]

You're absolutely right. I did not take into account the effects of seq in my previous post. However, this is exactly the subject of a paper I presented at TFP, two weeks ago. A revised version of the paper will be available soon; slided can already be picked up from http://people.cs.uu.nl/stefan/pubs/holdermans09spreading.html . Cheers, Stefan