Can you express streams / lazily evaluated lists with an eagerly evaluated fold combined with a continuation in #Scheme / #OCaml / other languages with some form of continuations? :flan_think:
And if so, are there existing libraries that build on this?
I'm pretty sure it's possible, at least with unconstrained call/cc, not quite sure about more restricted variations, or how it would work with typing.
I'd try to prototype it myself but I have my final exam coming up, so I hope tooting about it is enough to get it out of my system. :neofox_laugh_sweat:
cc: #compsci
=> More informations about this toot | View the thread | More toots from csepp@merveilles.town
=> View compsci tag | View ocaml tag | View scheme tag This content has been proxied by September (3851b).Proxy Information
text/gemini