undefined | Better HN

0 pointsmjhoy5y ago0 comments

I don't think that holds for left identity:

    pure a >>= f ≡ f a

0 comments

Exactly, and the right identity is also violated:

    m >>= pure ≡ m

uryga5y ago

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

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.

j / k navigate · click thread line to collapse