# [racket] applying polymorphic functions in TR

On 2014-02-16 09:53:21 -0500, Bloch Stephen wrote:
>* > (define-type A Integer) ; or whatever
*>* > (define-type B String)
*>* > (ann time-apply ((A A -> B) (List A A) -> (Values (List B)
*>* Nonnegative-Integer Nonnegative-Integer Nonnegative-Integer)))
*
You probably want `inst` here instead, which instantiates the type
variables in its first argument. For example:
((inst time-apply String Integer Integer) ; b -> String
; a ... -> Integer Integer
(lambda: ([x : Integer] [y : Integer]) "foo")
'(1 2))
It would be nice if inference were smart enough so that this worked:
(time-apply (lambda: ([x : Integer] [y : Integer]) "foo") '(1 2))
but it doesn't seem to be yet.
Cheers,
Asumu