2016年3月23日
Scalaz（34）－ Free ：算法－Interpretation
摘要： 我们说过自由数据结构（free structures）是表达数据类型的最简单结构。List[A]是个数据结构，它是生成A类型Monoid的最简单结构，因为我们可以用List的状态cons和Nil来分别代表Monoid的append和zero。Free[S,A]是个代表Monad的最简单数据结构，它可 阅读全文
posted @ 2016-03-23 09:49 雪川大虫 阅读(552) 评论(0) 推荐(0)