Hello!
I am using Typed Racket (version 5.2.1) and I'm porting an existing Racket
program over to it. It's working well, except for a few minor things like
"assoc" exclusively accepting lists of pairs and not lists of lists, which I
found very odd (nothing a "filter" couldn't solve, though).
Af
Sam Tobin-Hochstadt writes:
> Can you say more about the problem here? The type of `assoc` mentions
> pairs, but you should be able to use it with lists, since they're made
> of pairs.
Yeah, that's what I had expected as well. This code produces type errors (in
5.3.3, too):
;; Definitions
Thank you both Matthias and Roman for explaining those things so thoroughly :)
Matthias Felleisen writes:
> Second, here is why your code is potentially buggy. Suppose you used the
type of your mystringlistlist as an
> argument type to f. You could then apply f to '( () ), which is a list of
li
Hello.
Thanks to my complete ignorance I first didn't notice that there's a
typed version of file/md5. So I imported it like this:
(require/typed file/md5
(md5 (case->
((U Bytes String Input-Port Boolean EOF) -> Bytes)
((U Bytes String In
4 matches
Mail list logo
