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-alternatives-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@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@create-net.org
Skype: corentin.dupont1
www.create-net.org
======================================