partial-app.ml

(* A fibonacci function *)
let rec fib x = if x = 0 || x = 1 then 1 else fib (x - 1) + fib (x - 2);;

(* A function that allows for partial evaluation *)
let h x = let z = fib x in fun y -> y + z;;

(* fib 30 will only be calculated once *)
List.map (h 30) [1; 2; 3; 4; 5];;