Вопросы по теме 'polymorphic-functions'
Как написать функции более высокого порядка, которые принимают полиморфные функции в качестве аргументов в Typed Racket?
Например, как мне написать версию map , которая будет работать с полиморфными функциями в Typed Racket? Я использую простую функцию id , определенную как:
(: id : (All (A) A -> A))
(define (id x) x)
Когда я пытаюсь сопоставить его со...
773 просмотров
schedule
29.07.2023
Совпадение с образцом по типу полиморфного параметра - альтернативы
Допустим, мне нужен другой вывод в зависимости от типа полиморфного параметра функции. Моя первоначальная попытка терпит неудачу с некоторым загадочным сообщением об ошибке:
choice :: a -> Int
choice (_ :: Int) = 0
choice (_ :: String) = 1...
771 просмотров
schedule
11.07.2022