Question

Transcribed image text: Question 4 If a Haskell function £ have a type of f :: Int -> Int -> (Int, Int) Then the type of f 3 is Of 3 :: Int -> Int Of 3 :: Int -> (Int, Int) O £ 3 :: (Int) -> (Int, Int) Of 3 :: Int -> Int -> (Int) 1 pt Question 5 The following is the prototype of the printf function in C: int printf (char *format, ...); According to this prototype, the printf functions takes Oat least two (2) exactly one (1) exactly two (2) at least one (1) parameter(s). 1 pts Question 8 Given the following Horn clauses: X-A, B Y-X Which one can we obtain? OA, B Y OY A, B OY B OY A

Answer 1

For question 4, the type of f 3 would be "O £ 3 :: (Int) -> (Int, Int)", since applying a single argument to a function with multiple arguments in Haskell results in a new function that takes the remaining arguments. So, applying the argument 3 to f yields a new function of type "(Int) -> (Int, Int)".

For question 5, according to the prototype, the printf function takes at least one (1) parameter.

For question 8, the answer would be "OY A", as it is possible to obtain A from the Horn clauses.

Step-by-step explanation: