fun better reduce (unit, opn, l) =
let
fun red nil = unit
  | red (h::t) = opn (h, red t)
in
  red l
end

I dont understand why let was used here. Could we have used local? When do we choose one over the other?

WhyWasLocalNotUsedHere (last edited 2008-07-09 05:48:15 by localhost)