Re: [racket-users] no TR support for streams?

Oh! and in fact, you already bundled it as a pkg: https://pkgs.racket-lang.org/package/typed-racket-stream Thanks! John > On Sep 7, 2019, at 2:23 PM, Alex Knauth wrote: > > >> On Sep 6, 2019, at 1:04 PM, 'John Clements' via Racket Users >> wrote: >> >> Perhaps I just don’t know how to sea

Re: [racket-users] no TR support for streams?

> On Sep 6, 2019, at 1:04 PM, 'John Clements' via Racket Users > wrote: > > Perhaps I just don’t know how to search the racket docs correctly, but IIUC > there’s no support for Streams in the current TR implementation? I just want > to use stream-cons, empty-stream, stream-first, and stream-r

[racket-users] no TR support for streams?

Perhaps I just don’t know how to search the racket docs correctly, but IIUC there’s no support for Streams in the current TR implementation? I just want to use stream-cons, empty-stream, stream-first, and stream-rest. I guess the easy workaround is just to use thunks to roll my own stream, but I