Re: [racket-users] map in typed/racket

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 m

[racket-users] map in typed/racket

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 ma