Re: [racket-users] What precisely is the type/contract ‘TST’ ?

[Robby Findler]

Indeed, these docs were written a long time ago.

also, (listof any/c) is the same thing as list? in the contract system.

Robby


On Sun, Apr 9, 2017 at 3:08 PM, Jay McCarthy  wrote:
> It is legacy. Modern code would just write any/c or list?
>
> Jay
>
> On Sun, Apr 9, 2017 at 2:51 PM, gfb  wrote:
>> Is it legacy, or is there a current reason/heuristic to choose it over 
>> ‘any/c’ ?
>>
>> On Sunday, 9 April 2017 14:14:29 UTC-4, Jay McCarthy  wrote:
>>> TST means The Scheme Type, i.e. everything is permitted.
>>>
>>>
>>> Jay
>>>
>>>
>>>
>>> On Sun, Apr 9, 2017 at 1:02 PM gfb  wrote:
>>> It appears, e.g., in:
>>>
>>>
>>>
>>>   (send a-drracket:rep:text display-results results) → void?
>>>
>>>   results : (list-of TST)
>>>
>>>
>>>
>>> A search of all racket files shows it used at times for values to be 
>>> displayed, but I can't find a definition of the term, nor just what it's 
>>> [presumably] an acronym or abbreviation for.
>>>
>>>
>>>
>>> --
>>>
>>> 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...@googlegroups.com.
>>>
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>>
>>> --
>>>
>>>
>>>
>>>
>>> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
>>> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
>>> -=[ Moses 1:33: And worlds without number have I created; ]=-
>>
>> --
>> 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.
>> For more options, visit https://groups.google.com/d/optout.
>
>
>
> --
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
> --
> 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.
> For more options, visit https://groups.google.com/d/optout.

-- 
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.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] What precisely is the type/contract ‘TST’ ?

[Jay McCarthy]

It is legacy. Modern code would just write any/c or list?

Jay

On Sun, Apr 9, 2017 at 2:51 PM, gfb  wrote:
> Is it legacy, or is there a current reason/heuristic to choose it over 
> ‘any/c’ ?
>
> On Sunday, 9 April 2017 14:14:29 UTC-4, Jay McCarthy  wrote:
>> TST means The Scheme Type, i.e. everything is permitted.
>>
>>
>> Jay
>>
>>
>>
>> On Sun, Apr 9, 2017 at 1:02 PM gfb  wrote:
>> It appears, e.g., in:
>>
>>
>>
>>   (send a-drracket:rep:text display-results results) → void?
>>
>>   results : (list-of TST)
>>
>>
>>
>> A search of all racket files shows it used at times for values to be 
>> displayed, but I can't find a definition of the term, nor just what it's 
>> [presumably] an acronym or abbreviation for.
>>
>>
>>
>> --
>>
>> 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...@googlegroups.com.
>>
>> For more options, visit https://groups.google.com/d/optout.
>>
>>
>> --
>>
>>
>>
>>
>> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
>> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
>> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
> --
> 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.
> For more options, visit https://groups.google.com/d/optout.



-- 
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
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.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] What precisely is the type/contract ‘TST’ ?

[gfb]

Is it legacy, or is there a current reason/heuristic to choose it over ‘any/c’ ?

On Sunday, 9 April 2017 14:14:29 UTC-4, Jay McCarthy  wrote:
> TST means The Scheme Type, i.e. everything is permitted. 
> 
> 
> Jay
> 
> 
> 
> On Sun, Apr 9, 2017 at 1:02 PM gfb  wrote:
> It appears, e.g., in:
> 
> 
> 
>   (send a-drracket:rep:text display-results results) → void?
> 
>   results : (list-of TST)
> 
> 
> 
> A search of all racket files shows it used at times for values to be 
> displayed, but I can't find a definition of the term, nor just what it's 
> [presumably] an acronym or abbreviation for.
> 
> 
> 
> --
> 
> 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...@googlegroups.com.
> 
> For more options, visit https://groups.google.com/d/optout.
> 
> 
> -- 
> 
> 
> 
> 
> -=[     Jay McCarthy               http://jeapostrophe.github.io    ]=-
> -=[ Associate Professor        PLT @ CS @ UMass Lowell     ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
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.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] What precisely is the type/contract ‘TST’ ?

[Jay McCarthy]

TST means The Scheme Type, i.e. everything is permitted.

Jay

On Sun, Apr 9, 2017 at 1:02 PM gfb  wrote:

> It appears, e.g., in:
>
>   (send a-drracket:rep:text display-results results) → void?
>   results : (list-of TST)
>
> A search of all racket files shows it used at times for values to be
> displayed, but I can't find a definition of the term, nor just what it's
> [presumably] an acronym or abbreviation for.
>
> --
> 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.
> For more options, visit https://groups.google.com/d/optout.
>
-- 
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
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.
For more options, visit https://groups.google.com/d/optout.