2016年9月13日
Cats（4）－ 叠加Free程序运算结果，Stacking monadic result types
摘要： 在前面的几篇关于Free编程的讨论示范中我们均使用了基础类型的运算结果。但在实际应用中因为需要考虑运算中出现异常的情况，常常会需要到更高阶复杂的运算结果类型如Option、Xor等。因为Monad无法实现组合（monad do not compose），我们如何在for-comprehension中 阅读全文
posted @ 2016-09-13 09:03 雪川大虫 阅读(802) 评论(0) 推荐(0)