PLQ #8Done on:   Tuesday, November 9th

Question 1 @ 2021-11-09 18:27

What can you say about a language that fulfils the following test:

(test (map (+ 2) '(1 2 3)) => '(3 4 5))

Choose the best answer.


Question 2 @ 2021-11-09 18:30

Can you write a blank definition in Racket so the following test succeeds?

(test (* blank blank) => 660)

Question 3 @ 2021-11-09 18:33

How would you write a blank definition in Racket so the following test succeeds?

(test (* (blank) (blank)) => 660)

Choose the best answer.


Question 4 @ 2021-11-09 18:39

Consider a function of type A -> B, and another function of type T -> T .

Which of the following condition will make the first function be a subtype of the second? That is, which of these will make

A -> B  ⊆ T -> T

?