what happened to 'ev' ?



On 8/27/09, Sheldon Newhouse <sen1 at math.msu.edu> wrote:

> (%t85)                                  s_list(list, option) :=
> sublist(list, lambda([x], ev(option)))

Incidentally I think it's clearer in general to construct the lambda
expression you want before you punt to sublist. I think that's
going to generally be more predictable than trying to control
evaluation (hard to get just what you want).

Specifically what I mean in this case is something like:

 s_list (list, option) := sublist (list, subst (foo=option, lambda ([x], foo)));

so by the time sublist sees it, the lambda expression has the right
stuff pasted into it.

This business about lambda is aside from the bug in sublist
which I'm going to fix.

FWIW

Robert Dodier