摘要：
在泛型T.Type中，T.Type类型的参量只是泛型初始化的一环，传入的参量理论上只负责泛型的类型的确定。 类型：swift中的类型通过.self获取。 阅读全文
摘要：
https://kotlinlang.org/docs/reference/lambdas.html 阅读全文
摘要：
Dispatch Queues and Thread Safety It might seem odd to talk about thread safety in the context of dispatch queues, but thread safety is still a releva 阅读全文
摘要：
返回值：嵌套函数or闭包； 返回函数地址与表达式； 而不是计算结果。 参数：函数作为参数被传进高阶函数时，是作为值传递的； 在高阶函数内部，作为值的函数会被调用；高阶函数为此函数提供上下文。 作为入参的函数的函数签名的形参不是必须的。 除非作为匿名函数或闭包存在。 阅读全文
摘要：
It is used to create an alias name for another data type. The syntax of the typedef declaration is:[2] In Swift, typedef is called typealias: typealia 阅读全文
摘要：
偏函数应用指的是固化函数的一个或一些参数，从而产生一个新的函数。比如我们有一个记录日志的函数: 1: def log(level, message): 2: print level + ": " + message 3: 4: #usage 5: log("Warning", "this is on 阅读全文
摘要：
柯里化相当于函数重构； 偏函数相当于函数适配。 So, what is the difference between currying and partial application? As we stated before: Currying: Ability to decompose a fun 阅读全文
摘要：
函数式编程也遵循数据结构+算法的编程范式。 数据结构为高阶类型； 算法为算子，高阶函数。 函数式编程关心数据的映射，命令式编程关心解决问题的步骤 这里的映射就是数学上“函数”的概念—— 一种东西和另一种东西之间的对应关系。 这也是为什么“函数式编程”叫做“函数式编程”。 阅读全文
摘要：
高阶：意味着可变、变化；多态。 动态绑定。 阅读全文
摘要：
变量：传递、存取、变化。函数：传递、执行（结合）、操作。 函数作为参量、变量。 函数调用。 函数运算。 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 阅读全文