F #

Q2. For each of the following signatures, create a function that will be inferred to have that signature. !Avoid using explicit type annotations! val sigA = int -> int val sigB = int -> unit val sigC = int -> string val sigD = unit -> string val sige = string -> string val sigF = int -> bool -> float -> string val sigG = x:int->y:int -> int // 2 different implementation styles, please val sigH = x:int-> (int -> int) // Hint: define a nested function val sigl = f:(int -> int) -> int val sig) = x:int ->y:int -> z:int -> int val sigkf:(int -> int) -> (int -> int) val sigL = x:int->f:(int -> int) -> int val sigM = f:(int -> int -> int) -> int val sigN = x:int-> ('a -> int) Submit function definitions for the every type signature. Q2. For each of the following signatures, create a function that will be inferred to have that signature. !Avoid using explicit type annotations! val sigA = int -> int val sigB = int -> unit val sigC = int -> string val sigD = unit -> string val sige = string -> string val sigF = int -> bool -> float -> string val sigG = x:int->y:int -> int // 2 different implementation styles, please val sigH = x:int-> (int -> int) // Hint: define a nested function val sigl = f:(int -> int) -> int val sig) = x:int ->y:int -> z:int -> int val sigkf:(int -> int) -> (int -> int) val sigL = x:int->f:(int -> int) -> int val sigM = f:(int -> int -> int) -> int val sigN = x:int-> ('a -> int) Submit function definitions for the every type signature