map in typed/racket

[Axel Schnell]

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))))
#<procedure:map>

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.

[Sorawee Porncharoenwase]

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.

--
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...@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.