On Wed, 11 Mar 2020 10:07:09 -0400 Marc Feeley feeley@iro.umontreal.ca wrote:
As Hendrik points out, the complexity is brought about (or exposed) by continuations.
The same can be said of letrec which can behave unintuitively
I can't agree more.
These are all those details, which need to be explained when justifying the summary that "parameters are expensive". The runtime lookup cost by itself may easily become negligible.
Jörg