Re:Monads as a Programming Pattern
by mrkeen on Monday August 12, 2019 @02:45PM
(#20678521)
1) Adding getters and setters does not make a program stateless. Your race-conditions and side-effects just take more steps.
2) "A monad is a type that wraps an object of another type. There is no direct way to get that ‘inside’ object. Instead you ask the monad to act on it for you." Your objection to this quote is right, because the quote is wrong.
2) "A monad is a type that wraps an object of another type. There is no direct way to get that ‘inside’ object. Instead you ask the monad to act on it for you." Your objection to this quote is right, because the quote is wrong.