[Haskell-cafe] Feeding a monad into itself

MarLinn monkleyon at gmail.com
Fri Jul 21 21:50:30 UTC 2017


On 2017-07-21 23:33, Jeff Clites wrote:
> Another interesting thought: although all of those give you a way to 
> obtain a zero, I don't think any give you a way to test whether 
> something is that zero. Hmm.

Well you could always use Eq. Or Foldable's null. That would generalize 
the loop to all foldable monads. Is that useful? I doubt it, but it's 
interesting.

Cheers.



More information about the Haskell-Cafe mailing list