[Haskell-cafe] Haskell's "historical futurism" needs better writing, not better tools
tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Fri Sep 17 07:19:27 UTC 2021
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.
More information about the Haskell-Cafe