How to make a fast curry: push/enter vs eval/apply

http://research.microsoft.com/en-us/um/people/simonpj/papers/eval-apply/

How to make a fast curry: push/enter vs eval/apply

Simon Marlow and Simon Peyton Jones. Proc International Conference on Functional Programming, Snowbird, Sept 2004, pp4-15.

• Journal version (2005) [A4 ps]
• Conference version (2004) [A4 ps]
• Slides of talk [A4 pdf, 9Mb]

Abstract

Higher-order languages that encourage currying are typically implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative judgements to choose one model or the other.

Our goal in this paper is to provide, for the first time, a more substantial basis for this choice, based on our qualitative and quantitative experience of implementing both models in a state-of-the-art compiler for Haskell.

Our conclusion is simple, and contradicts our initial intuition: compiled implementations should use eval/apply.

eval-apply-slides.pdf