`(List* T)` is just `T`. This follows the behavior of the `list*` function, where `(list* 5)` produces 5.
You can explore this using the `:type` form at the REPL. For example, ``` > (:type (List* String)) String > (:type (List* String String)) (Pairof String String) > (:type (List* String (List String))) (List String String) ``` I've pushed a clarification to the documentation. On Wed, Jun 3, 2020 at 3:49 PM Hendrik Boom <[email protected]> wrote: > > On Wed, Jun 03, 2020 at 04:22:41PM +0100, Stephen De Gabrielle wrote: > > 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. > > It might be. But that's normally said as (List c), not List* c) > With your interpretation, List* qould be equivalent to List. > > > > > 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. > > My problem is that I don't know what the documentation is supposed to say. > > -- hendrik > > > 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 <[email protected]> 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 [email protected]. > > > 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 [email protected]. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/racket-users/CAGHj7-LsML%2BeOnt_BUBWmRM5vU6GtovyaNr-JHOQPzoMCL2NTQ%40mail.gmail.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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/20200603194902.27zjystdhecumoup%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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BaadfxxY%2Bv1gngVPzegOCSU2qR_EPTavj3E9hutTJXJ3Q%40mail.gmail.com.
