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/CAK%3DHD%2Ba0LPMHFsYmAws6pAvxEp32rD_vF9oNSLdWXZOJDJ-n1A%40mail.gmail.com.
