[Haskell-cafe] Alternative: you can fool many people some time, and some people many time, but...

Corentin Dupont corentin.dupont at gmail.com
Thu Sep 29 19:51:09 UTC 2016

Hi guys,
I'm playing with the mysterious "some" and "many" from Control.Applicative.
If I try:

many $ Just 1

It just loops, I understand why:
It seems that some and many are usually used in a context where something
is consumed, and can be depleted, so the loop ends.

But why doesn't this terminates?

take 3 $ many $ Just 1

It's a recursive call, but the construction of the result should be lazy...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160929/c22fe46a/attachment.html>

More information about the Haskell-Cafe mailing list