雪川大虫

摘要：    我们可以通过自由数据结构（Free Structure）实现对程序的算式和算法分离关注（separation of concern）。算式（Abstract Syntax Tree, AST）即运算表达式，是对程序功能的描述。算法则是程序的具体运算方式（Interpreter）,它赋予了算式意 阅读全文

摘要： 当我们需要定义一些对应高阶类型进行相互类型转换的操作函数时，我们发现scala语言并不提供能定义这种函数的支持。举例来说：如果我们希望定义一个函数把对于任何T值的Option[T]转换成List[T]的话，我们可能这样定义： 1 def toList[T](opt: Option[T]): List 阅读全文

摘要： 很多时候我们会遇到一些高阶类型F[_]，但又无法实现它的map函数，也就是虽然形似但F不可能成为Functor。看看下面的例子： trait Interact[A] case class Ask(prompt: String) extends Interact[String] case class 阅读全文

摘要： 函数式编程模式强调纯代码（pure code），主要实现方式是使用不可变数据结构，目的是函数组合（composability）最终实现函数组件的重复使用。但是，如果我们在一个函数p内部使用了可变量（mutable variables），如果函数的输入参数e是纯代码，那么表达式p(e)同样是纯代码的， 阅读全文

摘要： 经过一段时间的摸索，用scala进行函数式编程的过程对我来说就好像是想着法儿如何将函数的款式对齐以及如何正确地匹配类型，真正是一种全新的体验，但好像有点太偏重学术型了。 本来不想花什么功夫在scala的类型系统上，但在阅读scalaz源代码时往往遇到类型层面的编程（type level progra 阅读全文

摘要： scala中的case class是一种特殊的对象：由编译器（compiler）自动生成字段的getter和setter。如下面的例子： 这里我们可以看到：Person是个多层次对象，包含多层嵌入属性对象（multi-layer embeded objects）。如果需要更改Person类型实例中的 阅读全文

摘要： 中间插播了几篇scalaz数据类型，现在又要回到Monad专题。因为FP的特征就是Monad式编程（Monadic programming），所以必须充分理解认识Monad、熟练掌握Monad运用。曾经看到一段对Monad的描述：“Monadic for-comprehension就是一种嵌入式编... 阅读全文

摘要： 上节我们讨论了Zipper－串形不可变集合（immutable sequential collection）游标，在串形集合中左右游走及元素维护操作。这篇我们谈谈Tree。在电子商务应用中对于xml,json等格式文件的处理要求非常之普遍，scalaz提供了Tree数据类型及相关的游览及操作函数能... 阅读全文

摘要： 外面沙尘滚滚一直向北去了，意识到年关到了，码农们都回乡过年去了，而我却留在这里玩弄“拉链”。不要想歪了，我说的不是裤裆拉链而是scalaz Zipper，一种泛函数据结构游标（cursor）。在函数式编程模式里的集合通常是不可变的（immutable collection），我们会发现在FP编程过... 阅读全文

摘要： 马上进入新的一年2016了，来点轻松点的内容吧。前面写过一篇关于用Reader实现依赖注入管理的博文（Scalaz（16）－ Monad：依赖注入－Dependency Injection By Reader Monad）。刚好年底这几天抽空重审了一遍，这时才真正认识到让一个老资格OOP程序猿去编... 阅读全文