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

Tom Ellis 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 mailing list