fun exp x n = if n = 0 then 1.0 else (exp x (n-1)) * x val inc = fn x => x + 1 val v = 10000.0 * (exp (1.0 + 0.03) 10) val interest = fn a => fn p => fn n => a * (exp (1.0 + p) n) val m = interest 1000.0 0.03 10 val interest' = fn f => fn g => fn h => f 10000.0 (g (h 1.0 0.03) 10) val result = interest' (fn x => fn y => x * y) (fn x => fn n => exp x n) (fn x => fn y => x + y)