2015年7月13日
泛函编程（33）－泛函IO：Free Functor - Coyoneda
摘要： 在前几期讨论中我们终于推导出了Free Monad。这是一个Monad工厂，它可以把任何F[A]变成Monad。可惜的是它对F[A]是有所要求的：F必须是个Functor。Free Monad由此被称为由Functor F 产生的Monad。F必须是Functor,这个门槛使我们在使用Free M... 阅读全文
posted @ 2015-07-13 13:41 雪川大虫 阅读(678) 评论(0) 推荐(1)