[Haskell-cafe] Practical use of Stream's monad instance?
petr.mvd at gmail.com
Sun Jul 10 20:27:40 UTC 2016
we've been debating the usefulness of Monad instances for Stream  or
homogeneous tuples (fixed-length vectors). The Applicative implementation
for them is simply zipping, very useful indeed. The "join" of their Monad
instances takes the diagonal of a 2-dimensional plane (finite for tuples,
infinite for Stream). (See also .)
The question is, are such monad instances used in the wild? Are they
actually useful or interesting for anything?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe