Re: [racket-users] (curry map string->number) in Typed Racket

2019-08-28 Thread Štěpán Němec
On Wed, 28 Aug 2019 09:23:03 -0400 Jon Zeppieri wrote: [...] >> Does that mean that for higher-order function parameters, inst expects >> only the return type signature, not that of the function itself? > > The main point here is that `inst` needs substitutions for the type > _variables_, not

Re: [racket-users] (curry map string->number) in Typed Racket

2019-08-28 Thread Štěpán Němec
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

[racket-users] (curry map string->number) in Typed Racket

2019-08-22 Thread Štěpán Němec
I have a hard time persuading Typed Racket to accept the expression "(curry map string->number)". No amount of type annotations or added `inst`s (as recommended by the guide[1]) I could come up with seem to help. Is there a way to make it work? [1]

Re: [racket-users] rel-string module path suffix not added automatically?

2019-08-21 Thread Štěpán Němec
[resending to the list; I originally posted via Gmane but the mail-to-news direction doesn't seem to work, sorry for the duplication/confusion] On Wed, 21 Aug 2019 06:39:42 +0200 Matthew Flatt wrote: > It looks to me like the Guide documentation is wrong there. A ".rkt" > suffix is added for

[racket-users] rel-string module path suffix not added automatically?

2019-08-20 Thread Štěpán Němec
Hello, I notice that (require "../file.rkt") inside a module (#lang racket, v7.4) works, but (require "../file") doesn't ("no such file or directory" error). As per , 'If the path has no suffix, ".rkt" is added automatically.' Does the