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-xLPrAR97XeG1rcmx5rD4mzwYCRUeZgfyY63VxMBWWfi5oQQ%40mail.gmail.com.
