摘要：
高阶：意味着可变、变化；多态。 动态绑定。 阅读全文
摘要：
变量：传递、存取、变化。函数：传递、执行（结合）、操作。 函数作为参量、变量。 函数调用。 函数运算。 In computer science, function composition (not to be confused with object composition) is an act o 阅读全文
摘要：
泛函编程（23）－泛函数据类型－Monad http://www.cnblogs.com/tiger-xc/p/4461807.html https://blog.csdn.net/samsai100/article/details/71512702 阅读全文
摘要：
高阶函数，又称算子(运算符)或泛函，包含多于一个箭头的函数。 在数学和计算机科学中，高阶函数是至少满足下列一个条件的函数: 接受一个或多个函数作为输入 输出一个函数 接受一个或多个函数作为输入 输出一个函数 数学 数学 在数学中它们叫算子(运算符)或泛函。微积分中的导数就是常见的例子，因为它映射一个 阅读全文
摘要：
拓扑是研究几何图形或空间在连续改变形状后还能保持不变的一些性质的一个学科。它只考虑物体间的位置关系而不考虑它们的形状和大小。 拓扑是集合上的一种结构。 拓扑英文名是Topology，直译是地志学，最早指研究地形、地貌相类似的有关学科。几何拓扑学是十九世纪形成的一门数学分支，它属于几何学的范畴。 “代 阅读全文
摘要：
范畴即为结构：包含要素和转化。 范畴为高阶类型。 函子为高阶函数。函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。 群为运算规则的约束。 自函子是一类比较特殊的函子，它是一种将范畴映射到自身的函子 (A functor that maps a 阅读全文
摘要：
范畴论完全装逼手册 / Grokking Monad 范畴论完全装逼手册(一) / Grokking Monad 范畴论完全装逼手册(二) / Grokking Monad 范畴论完全装逼手册(三) / Grokking Monad Table of Contents 第一部分：范畴论Catergo 阅读全文
摘要：
函数式编程关心类型（代数结构）之间的关系，命令式编程关心解决问题的步骤 函数式编程也遵从 数据结构+算法 的约束。 关心的是结构的映射或者变换。 https://www.cnblogs.com/feng9exe/p/8649843.html 函数式编程即为：构造类型的映射关系。 函数式编程不仅仅设计 阅读全文
摘要：
函子是两个范畴之间的一种映射（关系） 阅读全文
摘要：
大致介绍了幺半群(monoid)后，我们重新回顾最初引用wadler(haskell委员会成员，把monad引入haskell的家伙)的那句话： 现在我们来解读这句话中包含的另一个概念：自函子(Endofunctor)，不过我们先需要一些铺垫： 首先，什么是函子(Functor)？ 乍一看名字，以为 阅读全文
摘要：
One of the more powerful features Scala has is the ability to generically abstract across things that take type parameters. This feature is known as H 阅读全文
摘要：
http://adriaanm.github.io/files/higher.pdf https://www.atlassian.com/blog/archives/scala-types-of-a-higher-kind 阅读全文
摘要：
, pronounced "type", is the kind of all data types seen as nullary type constructors, and also called proper types in this context. This normally incl 阅读全文
摘要：
高级类类型就是使用其他类型构造成为一个新的类型，因此也称为 类型构造器(type constructors)。它的语法和高阶函数(higher-order functions)相似，高阶函数就是将其它函数作为参数的函数；高级类类型则是将构造类类型作为参数类型。一个高级类类型可以有一个或者多个类型作为 阅读全文
摘要：
首先我们从最基本的泛型来看： 现在我们对上面泛型中的类型参数再进一步，也是个泛型会如何呢？ 可以看到，java中不支持类型参数也是泛型类型的情况，而scala支持。这是一个很重要的区别，scala在类型系统上要比java强大。我们现在简单对类型归纳一下，可以分为两类: 1）特定类型(proper t 阅读全文