这里还有作者的一篇文章,配合上一章觉得刚刚好 https://apocalisp.wordpress.com/2011/12/19/towards-an-effect-system-in-scala-part-2-io-monad/