Hello,
Partial evaluation in this context (programming languages research)
usually refers to compile time optimization techniques such as
statically evaluating as much of a function as possible (e.g. going into
the function body and evaluating as much as possible that doesn't depend
on the
jim burton wrote:
I am reading Hudak's paper Modular Domain Specific Languages and Tools
[1] and am confused by his use of the term `Partial Evaluation'. I
understand it to mean supplying some but not all arguments to a
function, e.g. (+3) but it seems to mean something else too.
That's
I think you are confusing partial application and partial evaluation.
Though they are conceptually related.
The former is what happens when you apply a function of arity N to M
arguments, where M N. In Haskell the partially applied function is
suspended, pending the rest of its arguments.
The