Also can you think of a better way to do this than my implementation of iterate? The use case is putting it in a for loop along with a break or a finite list.
Nate On Wed, Jul 22, 2020 at 2:22 PM Nate Griswold <[email protected]> wrote: > Ok, thanks for the reply. > > I was trying to use this function: > > (define (iterate f) > (yield (f)) > (iterate f)) > > But it seems the only thing i can do is have a separate (calling it > "-untyped.rkt") module and putting anything that requires iterate in there. > > Are there any papers that would be helpful in trying to address this > implementation-wise? > > Nate > > > On Wed, Jul 22, 2020 at 1:56 PM Sam Tobin-Hochstadt <[email protected]> > wrote: > >> Currently, neither `racket/stream` nor `racket/generator` are >> supported by Typed Racket, unfortunately. >> >> Sam >> >> On Wed, Jul 22, 2020 at 12:15 AM Nate Griswold <[email protected]> >> wrote: >> > >> > Actually, is there any way at all to use lazy lists of things (streams >> or generators) in typed racket? >> > >> > Nate >> > >> > >> > On Tue, Jul 21, 2020 at 8:45 PM Nate Griswold <[email protected]> >> wrote: >> >> >> >> Do generators and typed racket work together well? It seems (yield) >> doesn't have a type and i couldn't get my module to work. >> >> >> >> Is there a way to make some procedure untyped in the middle of a typed >> file? Is it just best to break these things into separate files? >> >> >> >> Thank you >> >> >> >> Nate >> > >> > -- >> > 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/CAM-xLPo_c3LzL81Qv6bA2zzJMhQftQ46JR%3DWyZdSJjPJ9rYM5Q%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/CAM-xLPqs-dA%2Bk%3DZcWPsOACjpw_MaQyPZJz_1mrA1%2BCGLqRt28g%40mail.gmail.com.
