Jason Ding的专栏

纯函数一个函数在程序执行的过程中除了根据输入参数给出运算结果之外没有其他的副作用影响，我们可以把这类函数称为“纯函数”。纯函数由于不依赖外部变量，使得给定函数输入其返回结果永远不变，比如整数的加法函数，它接收两个整数值并返回一个整数值，对于给定的两个整数值，它的返回值永远是相同的整数值。副作用相对于非纯函数，它们带有副作用，这使得函数不仅简单返回一个值，还做了其他事情： 修改了一个变量

引言在这一小节中，我将介绍基于数据（函数式）的方法来构建数据应用。这里会介绍monadic设计来创建动态工作流，利用依赖注入这样的高级函数式特性来构建轻便的计算工作流。建模过程在统计学和概率论中，一个模型通过描述从一个系统中观察到的数据来表达任何形式的不确定性，模型使得我们可以用来推断规则，进行预测，从数据中学习有用的东西。 对于有经验的Scala程序员而言，模型常常和monoid联系起来。mon

引言在学习Scala的过程中，我发现其在构建大规模分布式计算系统上有与生俱来的特质。其丰富的类型系统可以帮助编程设计提供很好的信息隐藏和抽象，其monoids和monads概念利用Scala高阶函数实现计算并行和数据处理流水线，其Actor系统帮助编写可伸缩性的应用程序，其实现特定领域语言的优势帮助开发用户很好克服不同语言的障碍。 虽然以上Scala优点说起来不会感同身受，但这可以作为我学习的一大

定义特质可以要求混入它的类扩展自另一个类型，但是当使用自身类型（self type）的声明来定义特质时（this: ClassName =>），这样的特质只能被混入给定类型的子类当中。 如果尝试将该特质混入不符合自身类型所要求的类时，就会报错。从技术角度上看，自身类型是在类中提到this时，对于this的假设性类型。从实用角度上看，自身类型指定了对于特质能够混入的具体类的需求。如果你的特质仅用于混

依赖注入（Dependency Injection）和控制反转（Inversion of Control）Dependency Injection & Inversion of Control是Martin Fowler在2004年所提出來的一个概念，Martin Fowler在这篇文章中指出，DI可以有三种形式来实现。这观念以后有Spring项目和Google实现出来，变成了Java Enterp

引子由于样本类和构造器模式相关联，所以在模式匹配中常使用样本类做数据的解构和分析。 有些情况下，或许希望能够在不创建关联的样本类的前提下编写出类似的模式匹配，此时抽取器（Extractor）可以用来定义与对象表达解耦的模式。抽取email地址的例子问题假设你需要分析一些代表email地址的字符串：对于给定的字符串，首先要判断它是否为email地址，如果是，再分析访问地址的用户名和域名。 def

for表达式是monad语法糖先看一组示例：case class Person(name: String, isMale: Boolean, children: Person*)val lara = Person("Lara", false)val bob = Person("Bob", true)val julie = Person("Julie", false, lara, bob)val

Option MonadScala中的Option是一个Monad实现。 Option的简化版定义如下：sealed abstract class Option[+A] { def isEmpty: Boolean def get: A def map[B](f: A => B): Option[B] = if(isEmpty) None else Some(f(this.get)

单子单子（Monad）是一种将函子组合应用的方法。在计算机科学里，单子经常用来代表计算（computation）。单子能用来把与业务无关的通用程序行为抽象出来，比如有用来处理并行（Future）、异常（Option和Try等）、甚至副作用的单子。 单子的flatMap和unit操作作为构建数据类型的基本操作，可以实现很多复杂的高阶函数。单子的程序描述Monad定义了unit和flatMap两个函数

自函子自函子（Endofunctor）是一个将范畴映射到自身的函子（A functor that maps a category to itself）。函子是将一个范畴转换到另一个范畴，所以自函子是一种特殊的函子。 由三部分组成： 一组元素对象 一组态射 态射组合（二元运算） 如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺

函子与范畴函子（functor）是从一个范畴到另一个范畴的转换，并且其亦可转换/保持态射（morphism）。 一个态射是从一个范畴里的一个值到同一个范畴里的另一个值的变换。在猫的范畴的例子里，一个态射好比一个盒子，能够把黯淡无光的猫转化为一个霓虹闪耀的猫。在类型的范畴里（计算机科学常用的范畴），一个态射是一个把某类型转化为另一个类型的函数。 函子是可以把猫转化为狗的东西（不同范畴的转换）。函子

Monads是什么知乎里有关于什么是Monad的问题讨论，而在维基百科中也有关于Monad的释义。作为初次接触到Monads概念，难免会有些晕头转向，也难免会有些畏惧（因为Monads和数学中的范畴论有密切关系），但是Monads又是如此的重要，因为它在函数式编程中实在是应用太广泛了，并且在Scala的标准库中又常常遇到，使得我们不得不好好研究一番。MonoidsMonoids是一种元素的集合，它需

隐式转换隐式转换是使用implicit修饰的带有单个参数的普通函数。这种函数将自动应用，将值从一种类型转换为另一种类型。 举例说明： 我们想将整数n转换为分数n/1， 定义implicit def int2Fraction(n: Int) = Fraction(n, 1) 在进行如下表达式求值的时候： val result = 3 * Fraction(4, 5) 编译

实现一个函数式Queue泛型类函数式队列是一种具有以下三种操作方式的数据结构： head 返回队列的第一个元素 tail 返回除第一个元素之外的队列 append 返回尾部添加了指定元素的新队列如果Queue是一个不变队列，也就是函数式队列。在添加元素的时候不会改变其内容，而是返回包含了这个元素的新队列。 如果Queue是可变类型的，那么append操作将改变队列的内容

引言类型参数化（Parameterized Types）可以用来编写泛型类和特质，比如定义Set[T]，这使得我们可以创建诸如Set[String]的类型。而变化型注解（Variance Annotation）定义了参数化类型的继承关系，比如Set[String]是Set[AnyRef]的子类型。 这些语法可以让我们实现信息隐藏技术，同时它们也是编写库程序的基础。类型参数化这里以水果盒的代码作为例

以递归方式思考递归通过灵巧的函数定义，告诉计算机做什么。在函数式编程中，随处可见递归思想的运用。 下面给出几个递归函数的例子：object RecursiveExample extends App{ // 数列求和例子 def sum(xs: List[Int]): Int = if (xs.isEmpty) 1 else xs.head + sum

格式化算术表达式程序为了练习模式匹配的使用，该博文介绍编写格式化算术表达式的程序，最终的呈现结果如下面这个二维布局的数学表达式所示，这里除法运算被垂直打印出来：1 - * (x + 1)2 ----------- x 1.5 - + --- 2 x 为了实现这个程序，我们需要做一下工作：1. 编写一个二维布局库来创建和渲染二

有关Scala编程实例在刚开始学习一门编程语言的时候，总是想去写一些比较大的程序和项目，但是由于基础不扎实，往往欲速则不达。所以，只能一步一步来，通过一些经典的小例子来实践和锻炼，最终不断加深编程的技能，坚持下来，相信慢慢就能够变得熟练。冒泡排序、选择排序、插入排序的一般写法这三种排序方法没有太多要说的东西，这里的编程方式和指定式方式没什么差别。 这里之所以使用Array数据，因为Array数组是