¿Evaluar solo un tipo de cabeza particular en la expresión?

Question

Recuerdo haber visto una receta para tomar una expresión y evaluar cada Cabezal que coincide con el patrón x, dejando las subexpresiones con cabezas que no coinciden sin evaluar. Ya no puedo encontrar esta receta, ¿alguien sabe la forma correcta de hacerlo?

Answer 1

Este es de Ted Ersek's Mathematica Tricks under "Clever Little Programs".
Gracias a @TomD para el puntero.

EvaluatePattern[expr_,pattn_]:=expr/.Pattern[p, pattn]:>With[{eval=p},eval/;True] 

In[368]:= test = HoldForm[7 (1 + 2 - 2^2) (8 + 8)]; 
      EvaluatePattern[test, _Plus] //InputForm 

Out[369]= HoldForm[7*-1*16] 

Editar

Parece que funciona también con retención [], pero nunca hizo una prueba de profundidad.