foldl
foldl : ((X Y -> Y) Y (listof X) -> Y)
purpose:
(foldl f base (list x-1 ... x-n)) = (f x-n ... (f x-1 base))
Advanced Student Language