Как написать функции более высокого порядка, которые принимают полиморфные функции в качестве аргументов в Typed Racket?

Например, как мне написать версию map, которая будет работать с полиморфными функциями в Typed Racket? Я использую простую функцию id, определенную как:

(: id : (All (A) A -> A))
(define (id x) x)

Когда я пытаюсь сопоставить его со списком, я получаю сообщение об ошибке:

> (map id '(1 2 3))

Type Checker: Polymorphic function `map' could not be applied to arguments:
Types: (-> a b ... b c) (Listof a) (Listof b) ... b -> (Listof c)
   (-> a c) (Pairof a (Listof a)) -> (Pairof c (Listof c))
Arguments: (All (A) (-> A A)) (List One Positive-Byte Positive-Byte)
Expected result: AnyValues
   in: (map id (quote (1 2 3)))

types higher-order-functions polymorphic-functions racket typed-racket
person Danil Gaponov    schedule 06.10.2014    source источник

Ответы (1)


arrow_upward
4
arrow_downward

В этом случае вы должны вручную создать экземпляр полиморфизма:

->  (map (inst identity Integer) '(1 2 3))
- : (Listof Integer) [more precisely: (Pairof Integer (Listof Integer))]
'(1 2 3)

Причина объясняется в Руководстве по типизированному рэкету здесь. :

Алгоритм вывода локального типа Typed Racket в настоящее время не может выводить типы для полиморфных функций, которые используются для аргументов более высокого порядка, которые сами по себе являются полиморфными.

(см. документы для получения дополнительных объяснений и примеров)

person Asumu Takikawa    schedule 06.10.2014
comment
Это грустно. Спасибо. - person Danil Gaponov; 06.10.2014