zzfx

2018年6月13日

摘要：在Swift中能够表示 “任意” 这个概念的除了 Any 和 AnyObject 以外，还有一个AnyClass。我们能够使用AnyClass协议作为任意类型实例的具体类型。AnyClass在Swift中被所定义: [javascript] view plain copy typealias Any 阅读全文

posted @ 2018-06-13 17:22 zzfx 阅读(217) 评论(0) 推荐(0)

类型、元类型、泛型

摘要：在泛型T.Type中，T.Type类型的参量只是泛型初始化的一环，传入的参量理论上只负责泛型的类型的确定。类型：swift中的类型通过.self获取。阅读全文

posted @ 2018-06-13 17:16 zzfx 阅读(129) 评论(0) 推荐(0)

2018年6月12日

Higher-Order Functions and Lambdas

摘要： https://kotlinlang.org/docs/reference/lambdas.html 阅读全文

posted @ 2018-06-12 23:44 zzfx 阅读(105) 评论(0) 推荐(0)

Dispatch Queues and Thread Safety

摘要： 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 阅读全文

posted @ 2018-06-12 18:00 zzfx 阅读(1890) 评论(0) 推荐(0)

高阶函数-参数与返回值

摘要：返回值：嵌套函数or闭包；返回函数地址与表达式；而不是计算结果。参数：函数作为参数被传进高阶函数时，是作为值传递的；在高阶函数内部，作为值的函数会被调用；高阶函数为此函数提供上下文。作为入参的函数的函数签名的形参不是必须的。除非作为匿名函数或闭包存在。阅读全文

posted @ 2018-06-12 16:28 zzfx 阅读(191) 评论(0) 推荐(0)

2018年6月11日

In Swift, typedef is called typealias:

摘要： 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 阅读全文

posted @ 2018-06-11 18:34 zzfx 阅读(136) 评论(0) 推荐(0)

偏函数应用(Partial Application）和函数柯里化(Currying)

摘要：偏函数应用指的是固化函数的一个或一些参数，从而产生一个新的函数。比如我们有一个记录日志的函数: 1: def log(level, message): 2: print level + ": " + message 3: 4: #usage 5: log("Warning", "this is on 阅读全文

posted @ 2018-06-11 16:34 zzfx 阅读(354) 评论(0) 推荐(0)

Currying vs Partial Application

摘要：柯里化相当于函数重构；偏函数相当于函数适配。 So, what is the difference between currying and partial application? As we stated before: Currying: Ability to decompose a fun 阅读全文

posted @ 2018-06-11 16:27 zzfx 阅读(447) 评论(0) 推荐(0)

函数式编程-数据结构+算法

摘要：函数式编程也遵循数据结构+算法的编程范式。数据结构为高阶类型；算法为算子，高阶函数。函数式编程关心数据的映射，命令式编程关心解决问题的步骤这里的映射就是数学上“函数”的概念—— 一种东西和另一种东西之间的对应关系。这也是为什么“函数式编程”叫做“函数式编程”。阅读全文

posted @ 2018-06-11 10:51 zzfx 阅读(338) 评论(0) 推荐(0)

2018年6月8日

高阶函数、高阶类型

摘要：高阶：意味着可变、变化；多态。动态绑定。阅读全文

posted @ 2018-06-08 23:55 zzfx 阅读(549) 评论(0) 推荐(0)

高阶函数-哈哈

摘要：变量：传递、存取、变化。函数：传递、执行（结合）、操作。函数作为参量、变量。函数调用。函数运算。 In computer science, function composition (not to be confused with object composition) is an act o 阅读全文

posted @ 2018-06-08 18:57 zzfx 阅读(147) 评论(0) 推荐(0)

备份-泛函编程（23）－泛函数据类型－Monad

摘要：泛函编程（23）－泛函数据类型－Monad http://www.cnblogs.com/tiger-xc/p/4461807.html https://blog.csdn.net/samsai100/article/details/71512702 阅读全文

posted @ 2018-06-08 18:49 zzfx 阅读(138) 评论(0) 推荐(0)

高阶函数

摘要：高阶函数，又称算子(运算符)或泛函，包含多于一个箭头的函数。在数学和计算机科学中，高阶函数是至少满足下列一个条件的函数: 接受一个或多个函数作为输入输出一个函数接受一个或多个函数作为输入输出一个函数数学数学在数学中它们叫算子(运算符)或泛函。微积分中的导数就是常见的例子，因为它映射一个阅读全文

posted @ 2018-06-08 18:48 zzfx 阅读(225) 评论(0) 推荐(0)

预备篇 I ：范畴与函子

摘要：拓扑是研究几何图形或空间在连续改变形状后还能保持不变的一些性质的一个学科。它只考虑物体间的位置关系而不考虑它们的形状和大小。拓扑是集合上的一种结构。拓扑英文名是Topology，直译是地志学，最早指研究地形、地貌相类似的有关学科。几何拓扑学是十九世纪形成的一门数学分支，它属于几何学的范畴。 “代阅读全文

posted @ 2018-06-08 18:40 zzfx 阅读(920) 评论(0) 推荐(0)

范畴论-一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已

摘要：范畴即为结构：包含要素和转化。范畴为高阶类型。函子为高阶函数。函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。群为运算规则的约束。自函子是一类比较特殊的函子，它是一种将范畴映射到自身的函子 (A functor that maps a 阅读全文

posted @ 2018-06-08 18:27 zzfx 阅读(2551) 评论(0) 推荐(0)

范畴论完全装逼手册

摘要：范畴论完全装逼手册 / Grokking Monad 范畴论完全装逼手册(一) / Grokking Monad 范畴论完全装逼手册(二) / Grokking Monad 范畴论完全装逼手册(三) / Grokking Monad Table of Contents 第一部分：范畴论Catergo 阅读全文

posted @ 2018-06-08 17:27 zzfx 阅读(1488) 评论(0) 推荐(0)

函数式编程的本质

摘要：函数式编程关心类型（代数结构）之间的关系，命令式编程关心解决问题的步骤函数式编程也遵从数据结构+算法的约束。关心的是结构的映射或者变换。 https://www.cnblogs.com/feng9exe/p/8649843.html 函数式编程即为：构造类型的映射关系。函数式编程不仅仅设计阅读全文

posted @ 2018-06-08 17:07 zzfx 阅读(346) 评论(0) 推荐(0)

函子是两个范畴之间的一种映射（关系）

摘要：函子是两个范畴之间的一种映射（关系）阅读全文

posted @ 2018-06-08 16:35 zzfx 阅读(223) 评论(0) 推荐(0)

我所理解的monad(4)：函子(functor)是什么--可把范畴简单的看成高阶类型

摘要：大致介绍了幺半群(monoid)后，我们重新回顾最初引用wadler(haskell委员会成员，把monad引入haskell的家伙)的那句话：现在我们来解读这句话中包含的另一个概念：自函子(Endofunctor)，不过我们先需要一些铺垫：首先，什么是函子(Functor)？乍一看名字，以为阅读全文

posted @ 2018-06-08 16:23 zzfx 阅读(548) 评论(0) 推荐(0)

Scala: Types of a higher kind

摘要： 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 阅读全文

posted @ 2018-06-08 16:22 zzfx 阅读(191) 评论(0) 推荐(0)

公告