Hi Hendrik,

I can't see the example you mention in
https://docs.racket-lang.org/ts-reference/type-ref.html#%28form._%28%28lib._typed-racket%2Fbase-env%2Fbase-types-extra..rkt%29._.List%2A%29%29

i'm assuming (List* c) is shorthand for (Pair c null)? I don't know typed
racket so I've probably got that terribly wrong.

So while I can't help you with this - I wanted to encourage you to make a
PR to the documentation if you come up with a fix.
It *used* to be hard to find the file that needs the fix, good steps have
been made recently to make it easier to identify the documentation source
file so it is easier to find and make the corrections or additions.

If you have any trouble let me know and I'll try help - I think I'm
getting the hang of it.

Hope you are well

Kind regards

Stephen

ps i use
https://blog.racket-lang.org/2017/09/tutorial-contributing-to-racket.html &
lots of kind guidance from other racketeers :0
pps: if you make a successful pr you get credit in the frankly wonderful
racket news https://racket-news.com/2020/06/racket-news-issue-32.html

On Tue, Jun 2, 2020 at 3:13 PM Hendrik Boom <hend...@topoi.pooq.com> wrote:

> 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 racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/20200602141347.3z7igvzbjyikhfn4%40topoi.pooq.com
> .
>

-- 
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/CAGHj7-LsML%2BeOnt_BUBWmRM5vU6GtovyaNr-JHOQPzoMCL2NTQ%40mail.gmail.com.

Reply via email to