副作用与纯度：引用透明、副作用、IO 与 Monad

本专题已纳入学习路线，正文将在路线架构审查通过后补充。