Re: [Haskell-cafe] Haskell's "historical futurism" needs better writing, not better tools

On Fri, Sep 17, 2021 at 01:57:58AM -0400, Viktor Dukhovni wrote:

Laziness makes it it possible to use folds as coroutines that lazily yield a sequence of values. This is not possible in strict languages, where you'd need explicit support for coroutines (generators) via something like a "yield" primitive.

Wouldn't an explicit thunk datatype (that takes a lambda as a "constructor") be sufficient? I can't see why going all the way to coroutines would be required. Tom