F# Programming: Type Inference

Q2. For each of the following signatures, create a function that will be inferred to have that signature. Avoid using explicit type annotations!

1. val sigA = int -> int
2. val sigB = int -> unit
3. val sigC = int -> string
4. val sigD = unit -> string
5. val sigE = string -> string
6. val sigF = int -> bool -> float -> string
7. val sigG = x:int -> y:int -> int // 2 different implementation styles, please
8. val sigH = x:int -> (int -> int) // Hint: define a nested function
9. val sigI = f:(int -> int) -> int
10. val sigJ = x:int -> y:int -> z:int -> int
11. val sigK = f:(int -> int) -> (int -> int)
12. val sigL = x:int -> f:(int -> int) -> int
13. val sigM = f:(int -> int -> int) -> int
14. val sigN = f:('a -> int) -> x:'a -> string // Hint: use sprintf
15. val sigO = x:int -> ('a -> int)