“Some generic class” with specific methods and laws, Monads are an algebraic structure and you want those laws included same as if you enable some type to use + you want to have a 0 somewhere and x + 0 == x to hold.
In Rust, Result and Option actually are monads. Let’s take Option as example:
Why those laws? Because following them avoids surprises like x + 0 /= x.
Rust’s type system isn’t powerful enough to have a Monad trait (lack of HKTs) hence why you can’t write code that works with any type that implements that kind of interface. Result names >>=and_then, just like Option does so the code reads the same but you’ll have to choose between Option or Result in the type signature, the code can’t be properly generic over it.
“Some generic class” with specific methods and laws, Monads are an algebraic structure and you want those laws included same as if you enable some type to use
+you want to have a0somewhere andx + 0 == xto hold.In Rust,
ResultandOptionactually are monads. Let’s takeOptionas example:pure xisSome(x)a >>= bisa.and_then(b)Then we have:
Some(x).and_then(f)≡f(x)x.and_then(Some)≡xm.and_then(g).and_then(h)≡m.and_then(|x| g(x).and_then(h))Why those laws? Because following them avoids surprises like
x + 0 /= x.Rust’s type system isn’t powerful enough to have a Monad trait (lack of HKTs) hence why you can’t write code that works with any type that implements that kind of interface.
Resultnames>>=and_then, just likeOptiondoes so the code reads the same but you’ll have to choose betweenOptionorResultin the type signature, the code can’t be properly generic over it.