Re:Functors, Applicatives, and Monads in Pictures (2013)
by iopq on Thursday September 24, 2015 @04:53AM
(#10270533)
The `Maybe` monad presented here lets you create a language without null references. That's good enough reason for me. Rust doesn't have HKTs like Haskell does, but it still uses the same things that are called monads in Haskell. They just don't want to call them monads.
[ Parent
| on HN ]
[deleted]
Re:Functors, Applicatives, and Monads in Pictures (2013)
by dragonwriter on Thursday September 24, 2015 @09:48PM
(#10275998)
Phrased another way, in any language, Monads work as a design pattern, and Rust had built-in implementations of that pattern; but some languages (Haskell, etc.) support Monads as a construct against which you can program directly, which is a more powerful abstraction than spring or implementing it as a design pattern.