摘要：
scalaz功能基本上由以下三部分组成： 1、新的数据类型，如：Validation, NonEmptyList ... 2、标准scala类型的延伸类型，如：OptionOps, ListOps ... 3、通过typeclass的随意多态（ad-hoc polymorphism）编程模式实现的大 阅读全文
posted @ 2019-03-01 19:47
zzfx
阅读(297)
评论(0)
推荐(0)
摘要：
复用的基础是组件化与标准化。 插座与插头；发动机的可替换部件。 阅读全文
posted @ 2019-03-01 19:33
zzfx
阅读(575)
评论(0)
推荐(0)
摘要：
Overview 本章主要介绍高级条件语句中的 switch 语句以及其增强版的模式匹配。 Java 篇 Switch 特点 Java 中 switch 语句功能类似 if，但是 switch 主要用在多条件分支上。 switch 语句由 case 分支和 default 组成，case 分支用于检 阅读全文
posted @ 2019-03-01 18:11
zzfx
阅读(601)
评论(0)
推荐(0)
摘要：
函数式编程的类型系统：typeclass Typeclass是带有关联构造类型的抽象接口，抽象接口的行为用于约束构造类型。 构造类型实现了抽象接口的行为约束，就称这个实现为这个构造类型的函子。 要素：1、关联的构造类型；2、建立在这个构造类型上的的约束。 3、构造类型的关联类型的概念与行为，及与构造 阅读全文
posted @ 2019-03-01 17:23
zzfx
阅读(705)
评论(0)
推荐(0)
摘要：
类型构造是抽象类型或高阶类型实例化的过程； 类型构造器是任意输入一个或几个已有类型，能够生成新类型的类型； https://www.cnblogs.com/feng9exe/p/9925027.html Type constructors Essentially what HKT gives us 阅读全文
posted @ 2019-03-01 15:35
zzfx
阅读(253)
评论(0)
推荐(0)
浙公网安备 33010602011771号