On Thu, 22 Aug 2019 16:40:03 -0400 Jon Zeppieri wrote: > (curry (inst map (U Complex False) String) > string->number) > > ... typechecks, but in your expression, you're going to need to handle > the possibility that the pattern variables in `list-rest` pattern are > #f.
Many thanks for the help. I find it quite confusing, though: I'd expect something like "(inst map (-> String (U Complex False)) (Listof String))", which apparently means something else... Does that mean that for higher-order function parameters, inst expects only the return type signature, not that of the function itself? But what about the String instead of (Listof String)? Or is this some kind of special case for functions like map? Is it documented somewhere? And more generally, could you recommend any good learning resources (or good non-trivial code examples) of Typed Racket usage? I have read the guide and consulted the reference, but keep hitting the wall... Thanks, Štěpán -- 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/87ftllhaq5.fsf%40gmail.com.