Functional Programming & Proofs


Introduction (2): Functional Programming

  1. Everything is a function (fun as value)
let f x = x*(x+1);; 
let y   = f 2;; // y: int = 6
let f   = fun x -> x*(x+1);;
(fun x -> x*(x+1)) 2;; // THIS IS A KEYPOINT

go further


3 - 8