Exotic List Monads

Re:Exotic List Monads by mjhoy on Thursday January 07, 2021 @09:39PM (#25680824)

I don't think that holds for left identity:

    pure a >>= f ≡ f a

[ Parent | on HN ]

Re:Exotic List Monads by klodolph on Thursday January 07, 2021 @11:23PM (#25681489)

Exactly, and the right identity is also violated:

    m >>= pure ≡ m

[ Parent | on HN ]

Re:Exotic List Monads by uryga on Friday January 08, 2021 @06:44AM (#25683674)

ahh right! serves me right, i should've spent more than 10 secs checking

[ Parent | on HN ]

Re:Exotic List Monads by klodolph on Friday January 08, 2021 @02:05PM (#25688659)

Everyone experiences this in Haskell, where you make some statement online and then someone tells you some way in which it’s incorrect.

I’m sure most real-world Haskell programs are “incorrect” in some way.

[ Parent | on HN ]