<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><font size=2 face="sans-serif">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 function arguments) and various syntactic transformations
to improve run-time efficiency. You can find lots of information about
this topic at: http://partial-eval.org.</font>
<br>
<br><font size=2 face="sans-serif">-Jeff</font>
<br>
<br>
<br>
<br><tt><font size=2>haskell-cafe-bounces@haskell.org wrote on 03/21/2007
02:47:28 PM:<br>
<br>
> I am reading Hudak's paper Modular Domain Specific Languages and Tools
<br>
> [1] and am confused by his use of the term `Partial Evaluation'. I
<br>
> understand it to mean supplying some but not all arguments to a <br>
> function, e.g. (+3) but it seems to mean something else too. This
is in <br>
> the context of optimising performance:<br>
> <br>
> "We have used existing partial evaluation techniques to do <br>
> this...Unfortunately, there does not currently exist a suitable, <br>
> easy-to-use partial evaluator for Haskell. Our approach was to convert
<br>
> the Haskell program to Scheme, partially evaluate the Scheme program,
<br>
> and then translate back into Haskell."<br>
> <br>
> What does P.E, mean here?<br>
> <br>
> Thanks,<br>
> <br>
> <br>
> [1] Available <br>
> http://wiki.ittc.ku.edu/lambda/Image:Hudak-<br>
> Modular_Domain_Specific_Languages_and_Tools.pdf <br>
> <br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> Haskell-Cafe@haskell.org<br>
> http://www.haskell.org/mailman/listinfo/haskell-cafe<br>
</font></tt>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">---</span><br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">This e-mail may contain confidential and/or privileged information. If you </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">are not the intended recipient (or have received this e-mail in error) </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">please notify the sender immediately and destroy this e-mail. Any </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">unauthorized copying, disclosure or distribution of the material in this </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">e-mail is strictly forbidden.</span><br>