10 2015 档案

Scalaz（11）－ Monad：你存在的意义
摘要：前面提到了scalaz是个函数式编程（FP）工具库。它提供了许多新的数据类型、拓展的标准类型及完整的一套typeclass来支持scala语言的函数式编程模式。我们知道：对于任何类型，我们只需要实现这个类型的typeclass实例就可以在对这个类型施用所对应typeclass提供的所有组件函数了... 阅读全文
posted @ 2015-10-28 13:45 雪川大虫 阅读(2132) 评论(0) 推荐(3) 编辑
Scalaz（10）－ Monad：就是一种函数式编程模式－a design pattern
摘要：Monad typeclass不是一种类型，而是一种程序设计模式（design pattern），是泛函编程中最重要的编程概念，因而很多行内人把FP又称为Monadic Programming。这其中透露的Monad重要性则不言而喻。Scalaz是通过Monad typeclass为数据运算的程... 阅读全文
posted @ 2015-10-20 06:26 雪川大虫 阅读(3912) 评论(0) 推荐(2) 编辑
Scalaz（9）－ typeclass：checking instance abiding the laws
摘要：在前几篇关于Functor和Applilcative typeclass的讨论中我们自定义了一个类型Configure，Configure类型的定义是这样的： 1 case class Configure[+A](get: A) 2 object Configure { 3 implici... 阅读全文
posted @ 2015-10-13 19:53 雪川大虫 阅读(641) 评论(1) 推荐(1) 编辑
Scalaz（8）－ typeclass：Monoid and Foldable
摘要：Monoid是种最简单的typeclass类型。我们先看看scalaz的Monoid typeclass定义：scalaz/Monoid.scala1 trait Monoid[F] extends Semigroup[F] { self =>2 ////3 /** The identit... 阅读全文
posted @ 2015-10-09 21:14 雪川大虫 阅读(848) 评论(0) 推荐(1) 编辑
Scalaz（7）－ typeclass：Applicative－idomatic function application
摘要：Applicative，正如它的名称所示，就是FP模式的函数施用（function application）。我们在前面的讨论中不断提到FP模式的操作一般都在管道里进行的，因为FP的变量表达形式是这样的：F[A]，即变量A是包嵌在F结构里的。Scalaz的Applicative typeclas... 阅读全文
posted @ 2015-10-05 11:48 雪川大虫 阅读(1196) 评论(0) 推荐(1) 编辑

点击右上角即可分享
微信分享提示