zzfx

2018年6月14日

摘要： Both class and structure can do: Define properties to store values Define methods to provide functionality Be extended Conform to protocols Define int 阅读全文

posted @ 2018-06-14 15:45 zzfx 阅读(172) 评论(0) 推荐(0)

类型、生成、编译器

摘要：类型系统与编译器密切相关；类型系统住在变量的生成、转化和访问。类型系统是一种格式、结构。阅读全文

posted @ 2018-06-14 10:42 zzfx 阅读(148) 评论(0) 推荐(0)

2018年6月13日

弱类型语言和强类型语言

摘要：一、强类型语言强类型语言是一种强制类型定义的语言，一旦某一个变量被定义类型，如果不经过强制转换，则它永远就是该数据类型了，强类型语言包括Java、.net 、Python、C++等语言。举个例子：定义了一个整数，如果不进行强制的类型转换，则不可以将该整数转化为字符串。二、弱类型语言弱类型语言阅读全文

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

动态类型－动态

摘要：动态即变化。即表现与实现的分离。即实现的结构可变。即把信息和关系的确定从编译时放到运行时。阅读全文

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

动态类型、静态类型

摘要：静态类型：编译阶段类型检查，编译器负责。动态类型：运行时类型检查，程序员负责。灵活性与多干活的二难。阅读全文

posted @ 2018-06-13 19:44 zzfx 阅读(188) 评论(0) 推荐(0)

2018年6月12日

Higher-Order Functions and Lambdas

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

posted @ 2018-06-12 23:44 zzfx 阅读(126) 评论(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 阅读(1918) 评论(0) 推荐(0)

高阶函数-参数与返回值

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

posted @ 2018-06-12 16:28 zzfx 阅读(220) 评论(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 阅读(157) 评论(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 阅读(394) 评论(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 阅读(485) 评论(0) 推荐(0)

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

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

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

2018年6月8日

高阶函数、高阶类型

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

posted @ 2018-06-08 23:55 zzfx 阅读(570) 评论(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 阅读(156) 评论(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 阅读(152) 评论(0) 推荐(0)

高阶函数

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

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

预备篇 I ：范畴与函子

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

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

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

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

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

范畴论完全装逼手册

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

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

函数式编程的本质

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

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

公告