State Monad

State monad contains a function that is performed on some context to produce some value, as well as some new context:

State Monad
1
2
3
data State ContextType ValueType =
  State (ContextType -> (ValueType, ContextType))
-- Indeed, State monad uses the constructor `state`
References
License

本文采用 署名-非商业性使用-相同方式共享 4.0 国际 许可协议，转载请注明出处。