檐前潜心学种瓜

函数式编程常见概念的解释与举例

高阶函数、多态函数、柯里化、反柯里化、从函数签名开始实现多态函数

定义一个函数式数据结构，并基于该数据结构，将递归操作泛化为高阶函数

对scala异常处理进行简明的介绍，准确描述Option、Either的两个主要功能：值的封装、函数的提升

介绍scala惰性求值，通过创建一个Stream，对比直接求值和惰性求值的差异，更进一步的，介绍了无限流与共递归

从随机数生成器开始，讲解函数式的状态处理

1. 问题的引出a. 求和问题def sum(ints:Seq[Int]): Int = ints.foldLeft(0)((a,b) => a+b)b.求和问题改进-分治问题、递归求和def sum(ints: Seq[Int]): Int = if(ints.size <= 1) ints.headOption.getOrElse(0) else{ val (l, r) = ints.splitAt(ints.length / 2

一文带你了解幺半群Monoid

1. monad单子（monads）定义：monad是一个满足associativity和identity法则的monadic组合的最小集合的实现，是对象类型的包装，用一个对象包装另一个对象，monad单子既不是trait特质也不是class类，大多数集合类型是单子，但反之不成立补充：Functor函子——类别之间的映射，换言之，是高阶类型之间的映射，高阶类型是以类型构造器为参数的类型，举个例子，Int、List[Int]、List[T]是一阶类型，List[C[Int]]、List[C[T]

详细介绍函子Functor的方方面面

scala函数式编程之可变状态

scala带有副作用的IO处理及改进

scala类型与类的区别与使用

单例类型与this.type

内部类、路径依赖、类型投影

路径依赖导致的模式匹配问题及解决

scala结构类型

scala复合类型

scala中缀类型

type关键字

self、自身类型

scala类型的上界、下界、视界、上下文界定、多重边界

scala的协变与逆变

结构类型与预定义的区别

scala类型约束与特定方法

scala实现联合类型

类型的抽象

类型系统高阶特性

type classes模式及依赖类型