2015年12月_TIGER_XC

原创 Scalaz（22）－泛函编程思维： Coerce Monadic Thinking

前面写过一篇关于用Reader实现依赖注入管理的博文（ Scalaz（16）－ Monad：依赖注入－Dependency Injection By Reader Monad）。刚好年底这几天抽空重审了一遍，这时才真正认识到让一个老资格OOP程序猿去编写一段FP程序时会发生什么事情：他会用FP语法和数据类型按照OOP的思维编写程序。其结果就是一段尴尬的代码，让人看得不知怎么去形容，更不用提FP程序

2015-12-30 09:04:27 589

原创 Scalaz（21）－类型例证：Liskov and Leibniz - type evidence

Leskov，Leibniz，别扭的名字，是什么地干活？碰巧从scalaz源代码里发现了这么个东西：scalaz/BindSyntax.scala /** Wraps a value `self` and provides methods related to `Bind` */ final class BindOps[F[_],A] private[syntax](val self: F[A]

2015-12-29 08:55:33 516

原创 Scalaz（20）－Monad： Validation－Applicative版本的Either

scalaz还提供了个type class叫Validation。乍看起来跟\/没什么分别。实际上这个Validation是在\/的基础上增加了Applicative功能，就是实现了ap函数。通过Applicative实例就可以同时运算多个Validation并返回多条异常信息。所以，\/与Validation核心分别就在于Validation可以返回多条异常信息。Validation也是由两种状

2015-12-17 18:14:20 882

原创 Scalaz（19）－ Monad： \/ - Monad 版本的 Either

scala标准库提供了一个Either类型，它可以说是Option的升级版。与Option相同，Either也有两种状态：Left和Right，分别对应Option的None和Some，不同的是Left可以返回一个值。我们通常用这个值来表述异常信息。scalaz也提供了自己版本的Either，并用\/来分辨表示，以及两种状态-\/和\/-。我想scalaz特别提供\/是有原因的：\/不单是一种类型

2015-12-17 13:22:25 601

原创 Scalaz（18）－ Monad： ReaderWriterState-可以是一种简单的编程语言

import scalaz._, Scalaz._ object RWSExample { case class Config(port: Int) def log[R, S](msg: String): RWS[R, List[String], S, Unit] = ReaderWriterState { case (r, s) => (msg.format(r,

2015-12-15 17:49:37 627

原创 Scalaz（17）－ Monad：泛函状态类型－State Monad

我们经常提到函数式编程就是F[T]。这个F可以被视为一种运算模式。我们是在F运算模式的壳子内对T进行计算。理论上来讲，函数式程序的运行状态也应该是在这个运算模式壳子内的，也是在F[]内更新的。那么我们就像函数式运算T值一样，也有一套函数式更新程序状态更新的方法。之前我们介绍了Writer Monad。Writer也是在F[]内维护Log的，可以说是一种状态维护方式。但Writer的Log是一种Mo

2015-12-11 10:59:35 733

原创 Scalaz（16）－ Monad：依赖注入－Dependency Injection By Reader Monad

在上一篇讨论里我们简单的介绍了一下Cake Pattern和Reader Monad是如何实现依赖注入的。主要还是从方法上示范了如何用Cake Pattern和Reader在编程过程中解析依赖和注入依赖。考虑到依赖注入模式在编程中的重要性和普遍性，觉着还需要再讨论的深入一些，使依赖注入模式在FP领域里能从理论走向实际。既然我们正在scalaz的介绍系列里，所以这篇我们就着重示范Reader Mon

2015-12-04 11:49:42 619

TIGER_XC的专栏