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 <nategrisw...@gmail.com> 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 <sa...@cs.indiana.edu> > 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 <nategrisw...@gmail.com> >> 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 <nategrisw...@gmail.com> >> 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 racket-users+unsubscr...@googlegroups.com. >> > 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 racket-users+unsubscr...@googlegroups.com. 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.
