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

[Corentin Dupont]

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:
http://stackoverflow.com/questions/18108608/what-are-alterna
tives-some-and-many-useful-for
It seems that some and many are normally 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...





-- 
=====================================
Corentin Dupont
CREATE-NET
OpenIoT Research Area - Senior Researcher
Via alla Cascata 56/D - 38123 Povo, Trento - Italy
e-mail: corentin.dupont at create-net.org
Skype: corentin.dupont1
www.create-net.org
======================================



-- 
=====================================
Corentin Dupont
CREATE-NET
OpenIoT Research Area - Senior Researcher
Via alla Cascata 56/D - 38123 Povo, Trento - Italy
e-mail: corentin.dupont at create-net.org
Skype: corentin.dupont1
www.create-net.org
======================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160929/4ee0171c/attachment.html>