Hi, I could use an assist on getting the following to type check.
#lang typed/racket/base (struct: (All T0 T1) Cvt ([cvt : (T0 -> T1)])) (: cvt-apply (All (T0 T1) T0 (Cvt T0 T1) -> T1)) (define (cvt-apply value cvt) ((Cvt-cvt cvt) value)) (: ItoS-Convert (Cvt Integer String)) (define ItoS-Convert (Cvt (λ: ((x : Integer)) "Hello"))) (: ItoS (Integer -> String)) (define (ItoS int) (cvt-apply int ItoS-Convert))
____________________ Racket Users list: http://lists.racket-lang.org/users
