But you may have run across monads. What are they, if not a design pattern for "dealing with global state"?
This to me belies that the author doesn't actually do much programming with monads. They're more like the core abstraction of an interpreter or a sequencing algebra than a design pattern for global state.
Considering functions s -> (a, s) as "global state" is closer to a "design pattern", though.
This to me belies that the author doesn't actually do much programming with monads. They're more like the core abstraction of an interpreter or a sequencing algebra than a design pattern for global state.
Considering functions s -> (a, s) as "global state" is closer to a "design pattern", though.