In the Typed Racket Reference, List* is defined as follows:
(List* t t1 ... s)
is equivalent to (Pairof t (List* t1 ... s)).
Following this definition down, we get
(List* a b c)
-> (Pairof a (List* b c))
-> (Pairof a (Pairof b (List* c)))
But what's (List* c) ?
I see no explanatory examples.
-- hendrik
P.S. I'm also unsure what 'bound' is supposed to do in
(List t ... trest ... bound)
It says "where bound must be an identifier denoting a type variable
bound with ..." but I don't undestand what this is referring to.
There are no examples of this in the document, just as there are no
examples of List*.
-- hendrik
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/20200602141347.3z7igvzbjyikhfn4%40topoi.pooq.com.
