Re: [racket-users] Porting additional functions for vectors, sequences, hashes etc. to Typed Racket

[Sourav Datta]

On Monday, May 22, 2017 at 6:14:01 PM UTC+5:30, Matthias Felleisen wrote:
> Could you list the functions you’re missing? 
> 
> 
> 
> > On May 22, 2017, at 5:38 AM, Sourav Datta  wrote:
> > 
> > Is there any ongoing or planned effort to port additional functions 
> > available for vectors, sequences etc. to TR? Many of these functions are 
> > very useful while writing code which uses things beyond normal Lists and it 
> > seems we have to manually require/typed for each individual program. 
> > Surprisingly, the additional functions for Strings (like string-append*) 
> > are available in TR even though they are not part of racket/base. And also, 
> > it does not show up in the TR documentation.
> > 
> > Thanks.
> > 
> > -- 
> > 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.

Ok, two things happened which made me confused about the "missing" functions. I 
had an older version of Racket installed and I found some sequence functions 
like sequence-map and sequence-fold gave top level type missing error. Then I 
switched to 6.9 and tried to sort a vector with vector-sort in TR which 
resulted in the same error. These made me think that 6.9 is missing those 
functions in TR.

So, I can confirm I get the typed versions of sequence and all of vector 
functions except the vector-sort functions. I guess I'd have to require/type 
it. Also, hash-union and hash-union! functions have no TR equivalent. 

Sorry for not double checking!

-- 
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] Porting additional functions for vectors, sequences, hashes etc. to Typed Racket

[Matthias Felleisen]

Could you list the functions you’re missing? 



> On May 22, 2017, at 5:38 AM, Sourav Datta  wrote:
> 
> Is there any ongoing or planned effort to port additional functions available 
> for vectors, sequences etc. to TR? Many of these functions are very useful 
> while writing code which uses things beyond normal Lists and it seems we have 
> to manually require/typed for each individual program. Surprisingly, the 
> additional functions for Strings (like string-append*) are available in TR 
> even though they are not part of racket/base. And also, it does not show up 
> in the TR documentation.
> 
> Thanks.
> 
> -- 
> 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.

[racket-users] Porting additional functions for vectors, sequences, hashes etc. to Typed Racket

[Sourav Datta]

Is there any ongoing or planned effort to port additional functions available 
for vectors, sequences etc. to TR? Many of these functions are very useful 
while writing code which uses things beyond normal Lists and it seems we have 
to manually require/typed for each individual program. Surprisingly, the 
additional functions for Strings (like string-append*) are available in TR even 
though they are not part of racket/base. And also, it does not show up in the 
TR documentation.

Thanks.

-- 
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.