简述
学前，Monads for functional programming
Case 1, introduces monads
We begin with the basic evaluator for simple terms, then consider variations that mimic exceptions, state, and output.
We begin with the basic evaluator for simple terms, then consider variations that mimic exceptions, state, and output.