You need to assist Typed Racket by using inst.
#lang typed/racket
((inst map String (Listof String)) car '(("Eins" "One" "Un") ("Zwei"
"Dos" "Two" "Deux") ("Drei" "Tres" "Trois")))
should work fine.
By the way, we have practically moved the mailing list to
https://racket.discourse.group/. You might want to post there in the future.
On Fri, Jun 10, 2022 at 2:04 PM Axel Schnell wrote:
> I have a little bit of a problem in understanding the function map with
> typed/racket.
> My problem starts with an application of map which in normal racket is
> very straight forward:
> > (map car '(("Eins" "One" "Un") ("Zwei" "Dos" "Two" "Deux") ("Drei"
> "Tres" "Trois")))
> '("Eins" "Zwei" "Drei")
> If map is applied this way in typed/racket it yields an error:
> Type Checker: Polymorphic function `map' could not be applied to arguments:
> Domains: (-> a b ... b c) (Listof a) (Listof b) ... b
> (-> a c) (Pairof a (Listof a))
> Arguments: (All (a b) (case-> (-> (Pairof a b) a) (-> (Listof a) a)))
> (List (List String String String) (List String String String String) (List
> String String String))
> There is an easy way to get around this by using for/list with some type
> annotations.
> > (let ([ml '(("Eins" "One" "Un") ("Zwei" "Dos" "Two" "Deux") ("Drei"
> "Tres" "Trois"))])
> (for/list : (Listof String) ([l : (Listof String) ml]) (car l)))
> - : (Listof String)
> '("Eins" "Zwei" "Drei")
> But this leaves me a little bit irritated. The function map has the
> following type in typed/racket:
> > map
> - : (All (c a b ...)
> (case->
>(-> (-> a c) (Pairof a (Listof a)) (Pairof c (Listof c)))
>(-> (-> a b ... b c) (Listof a) (Listof b) ... b (Listof c
> #
> So in my code here I believed the type system would pick the first case
> where map is a function that takes two arguments a function with the domain
> of a and the range of c and as second argument a not emtpy list of type a.
> I thought the type placeholder a could in this case be (Listof String) so
> (Pairof a (Listof a)) translates to (Pairof String (Listof String)) which
> is the same as a nonempty (Listof String).
> But apparantly the type system has a different view and is unable to apply
> map to the supplied arguments.
> So I do need some help to get a better understanding of the type system.
> Thanks to everyone who reads this.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/e3e829f5-39c3-4e24-bd08-0b037645fbcan%40googlegroups.com
>
> .
>
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/CADcuegvHiaDzQjs_eLisAPn60eqBmHmph3f8rRhBQdz%3DwwPEhg%40mail.gmail.com.
