fun foldl f y nil = y
| foldl f y (x::xr) =
foldl f(f(x,y))xr;

val sum = foldl (op -) ~6[1,2,3,4,5,6];

val sum = foldl (op -) ~4[1,2,3,4];