2016年3月18日
Scalaz（32）－ Free ：lift - Monad生产线
摘要： 在前面的讨论里我们提到自由数据结构就是产生某种类型的最简化结构，比如：free monoid, free monad, free category等等。我们也证明了List[A]是个free monoid。我们再看看free monad结构Free的定义：scalaz/Free.scala 我们在上 阅读全文
posted @ 2016-03-18 08:12 雪川大虫 阅读(796) 评论(0) 推荐(1)