Например, как мне написать версию map , которая будет работать с полиморфными функциями в Typed Racket? Я использую простую функцию id , определенную как: (: id : (All (A) A -> A)) (define (id x) x) Когда я пытаюсь сопоставить его со...

Допустим, мне нужен другой вывод в зависимости от типа полиморфного параметра функции. Моя первоначальная попытка терпит неудачу с некоторым загадочным сообщением об ошибке: choice :: a -> Int choice (_ :: Int) = 0 choice (_ :: String) = 1...