1. F#function theory 2. F#type inference 3. //Brackets aren't mandatory:let f(x,y) = x+ylet f x y= x+y 4. //Function type:let I x = x//x: 'a//I: 'a -> 'a…