03 2018 档案
摘要：响应式编程关注变化的传播机制。它有三个关键词：变化、传播、机制。 响应式编程的源是个流； 响应式编程的源需要提供observable功能和响应链管理功能。 响应式编程的机制实际上是一个耦合和抽象的机制； 即事件和信息的源怎么与observer建立联系。 通常这个联系需要从两个方面考察： 1、联系的建
阅读全文
摘要：类：与类型等价、是内存中的一个结构 类对象：isa、对类本体的引用。 实例对象：数据。 类具有双重属性： 既是类型结构，也是对象。 这个一个哲学的问题。 涉及到等价性与不完备对象。
阅读全文
摘要：不完整类型是一种用于描述标识符但缺少确定该标识符的大小所需的信息的类型。 “不完整类型”可以是： 您尚未指定其成员的结构类型。 您尚未指定其成员的联合类型。 您尚未指定其维度的数组类型。 您尚未指定其成员的结构类型。 您尚未指定其成员的联合类型。 您尚未指定其维度的数组类型。 void 类型是无法完
阅读全文
摘要：另外：前向声明中引入的类型为不完全类型（incomplete type），不完全类型只能以有限方式使用，只能用于定义指向该对象的指针和引用，只能用于声明使用该类型作为形参或返回类型的函数。 Incomplete types[edit] An incomplete type is a structur
阅读全文
摘要：只声明却没有定义的类称为—————–不完全类型，不完全类型不能定义该类型的对象，只能用于定义指向该类型的指针及引用，或者用于声明（不是定义）使用该类型作为形参类型或返回类型的函数。 在创建类的对象之前，必须完整地定义该类。必须定义，而不是声明类，这样，编译器就会给类的对象预定相应的存储空间。同样的，
阅读全文
摘要：The Reactive Extensions (Rx) is a library for composing asynchronous and event-based programs using observable sequences and LINQ-style query operator
阅读全文
摘要：In computing, reactive programming is an asynchronous programming paradigm concerned with data streams and the propagation of change. - Reactive progr
阅读全文
摘要：响应编程能够简化编程，它依赖于事件，代码运行的顺序不是代码行的顺序，而是和一个以上的事件有关，这些事件发生是以随着时间的推移的序列。我们把这一系列事件称为“流”。响应式编程就是因为我们得“响应”这些事件而得以命名。为了能够对事件作出反应，我们必须要监督它。 如果我们没有监听的情况下，我们永远不会知道
阅读全文
摘要：流的概念是响应式编程中数据和变化的源头
阅读全文
摘要：数据源（信息源）：静态的数组、动态的流； In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of chang
阅读全文
摘要：响应式编程关注的是变化及其传播。 响应式编程的着重点在于响应，即对变化做出的反应。实时性。 因变量对自变量依赖的建立。更多的时候强调实时性。 它的要素有四个： 1、数据拥有方； 2、数据使用方； 3、传播机制； 4、传播（处理）链条。 响应式编程的特征： 是数据拥有方向外部传播数据的变更，还是数据使
阅读全文
摘要：命令式编程强调的是时序； 声明式编程强调的是逻辑； 函数式编程强调的是逻辑。
阅读全文
摘要：响应式编程关注起因与结果间的联系方式 响应：对事物的变化做出反应。
阅读全文
摘要：In computer science, future, promise, delay, and deferred refer to constructs used for synchronizing program execution in some concurrent programming
阅读全文
摘要：ReactiveCocoa,最受欢迎的iOS函数响应式编程库(2.5版),没有之一! 简介 项目主页: ReactiveCocoa 实例下载: https://github.com/ios122/ios122 简评: 最受欢迎,最有价值的iOS响应式编程库,没有之一!iOS MVVM模式的完美搭档,
阅读全文
摘要：链式编程是函数式编程计算构建的一部分。 是计算构建器的实现。
阅读全文
摘要：本文记录一些关于学习ReactiveCocoa基础知识内容，对于ReactiveCocoa相关的概念如果不了解可以网上搜索；RACSignal有很多方法可以来订阅不同的事件类型,ReactiveCocoa框架使用category来为很多基本UIKit控件添加signal。本文有收集一些网上其它文章的
阅读全文
摘要：ReactiveCocoa简单使用20例 两个管串联，一个管处理完自己的东西，下一个管才开始处理自己的东西 两个管并联，只要有一个管有东西，就拿出来处理它。
阅读全文
摘要：面向对象： 一切皆对象；通过对象的构建和组合来模拟系统，最终通过这个系统来解决问题。 消息和信息在这个系统中流转。 语言的底层支持就是通过对象来构建以对象为单元的联系的系统。 函数式编程： 一切皆计算；这个系统就是通过计算单元的组合构建成更大的计算单元，从而完成对信息和信号的处理。 本质上就是构建一
阅读全文
摘要：惰性求值的本质是计算保存、计算构建和计算触发机制实现。 MASConstraint的实现是其典型案例。（本结论为错）。 [self.userIcon mas_makeConstraints:^(MASConstraintMaker *make) { make.left.mas_equalTo(15)
阅读全文
摘要：命令式关注实现细节； 声明式关注组成逻辑。 命令式编程强调执行上的顺序； 声明式编程强调逻辑上的行为和顺序。
阅读全文
摘要：定义映射（计算），执行映射（计算） 对于函数式编程来说，其只关心，定义输入数据和输出数据相关的关系，数学表达式里面其实是在做一种映射（mapping），输入的数据和输出的数据关系是什么样的，是用函数来定义的。 函数式编程思想：先构造计算树，然后执行计算树。 函数式编程的开发过程是编写计算实现、调用约
阅读全文
摘要：flattenMap使用步骤: 1.传入一个block，block类型是返回值RACStream，参数value 2.参数value就是源信号的内容，拿到源信号的内容做处理 3.包装成RACReturnSignal信号，返回出去。 flattenMap底层实现: 0.flattenMap内部调用bi
阅读全文
摘要：A monad is created by defining a type constructor M and two operations, bind and return (where return is often also called unit): The unary return ope
阅读全文
摘要：Functor的代码表示 接下来我们用Scala实现Monad的定义： 还有一种更为常见的定义方式，在Scala中Monad也是以这种方式出现： 要满足这两点，我们需要一个类型构造器 我们现在可以把这个定义再简化一些，类型的映射方法可以不用，并把它作为一个type class：
阅读全文
摘要：仿函数(functor)，就是使一个类的使用看上去像一个函数。其实现就是类中实现一个operator()，这个类就有了类似函数的行为，就是一个仿函数类了。 In computer programming, a function object[a] is a construct allowing an
阅读全文
摘要：函数编程支持函数作为第一类对象，有时称为闭包或者仿函数（functor）对象。实质上，闭包是起函数的作用并可以像对象一样操作的对象。与此类似，FP 语言支持高阶函数。高阶函数可以用另一个函数（间接地，用一个表达式） 作为其输入参数，在某些情况下，它甚至返回一个函数作为其输出参数。这两种结构结合在一起
阅读全文
摘要：函数式编程 函数式编程是种编程方式，它将电脑运算视为函数的计算。 而函数式编程是面向数学的抽象，将计算描述为一种表达式求值，一句话，函数式程序就是一个表达式。 面向计算？！ In computer science, functional programming is a programming pa
阅读全文
摘要：关键词：运算、转换、扩展、封装。 函数式编程是围绕高阶函数进行的，设计的核心在于高阶函数的设计。 1、函数式编程通过函数的复合生成更大的结构； 2、函数的操作分为分解和复合；分解即为柯里化，可以分为偏函数分解和彻底分解。复合即为待定系数和调用约定。 3、函数的运算最终转化为代数运算。 4、monad
阅读全文
摘要：维基百科中对偏函数 (Partial application) 的定义为： In computer science, partial application (or partial function application) refers to the process of fixing a num
阅读全文
摘要：什么是泛函编程（Functional Programming）？泛函编程就是用函数编写程序。这个回答太抽象，等于没说。 再说清楚一点：泛函编程就想砌积木一样把函数当成积木块，把函数的输出输入作为积木的楔子和楔孔，把一个函数的输出当作另一个函数的输入组合成一个更大的函数。整个砌积木的过程就是泛函编程。
阅读全文
摘要：函数式编程关心数据的映射，命令式编程关心解决问题的步骤 我想稍微改一下，使其更数学化一点。 函数式编程关心类型（代数结构）之间的关系，命令式编程关心解决问题的步骤 函数式编程中的lambda可以看成是两个类型之间的关系，一个输入类型和一个输出类型。lambda演算就是给lambda表达式一个输入类型
阅读全文
摘要：函数式语言当然还少不了以下特性： 高阶函数（Higher-order function） 偏应用函数（Partially Applied Functions） 柯里化（Currying） 闭包（Closure） 高阶函数就是参数为函数或返回值为函数的函数。有了高阶函数，就可以将复用的粒度降低到函数级
阅读全文
摘要：相信大家平时或多或少听过不少关于“函数式编程” （FP）相关的词语，有些Geek经常吹捧函数式的优点或者特性比如：纯函数无副作用、不变的数据、高阶函数、流计算模式、尾递归、柯里化等等，再加上目前的函数式理论越来越多的应用于工程中，OCaml，clojure, scala等FP语言日渐火爆。本编文章，
阅读全文
摘要：monad的特征： 类型转化+添加新的操作。 monad RACStream RACSignal RACSubject monad：单一体，（不可分的）个体 以计算为中心的封装。 In functional programming, a monad is a design pattern that
阅读全文
摘要：转载请注明出处： http://hai.li/2017/03/27/prom... 背景 上篇文章 函数式JS: 一种continuation monad推导 得到了一个类似promise的链式调用，引发了这样的思考：难道promise是monad？如果是的话又是怎样的monad呢？来来来，哥哥带你
阅读全文
摘要：译者按: 近年来，函数式语言的特性都被其它语言学过去了。 原文: Functional Computational Thinking — What is a monad? 译者: Fundebug 为了保证可读性，本文采用意译而非直译。另外，本文版权归原作者所有，翻译仅用于学习。 如果你使用函数式编
阅读全文
摘要：为了理解什么是Monad，最好需要了解什么是Monoid。这两篇互为姐妹篇，因为Monad的定义是：A monad is just a monoid in the category of endofunctors, what's the problem? what's the problem？其实问
阅读全文
摘要：http://www.open-open.com/lib/tag/ReactiveCocoa
阅读全文
摘要：前言 在上篇文章中，详细分析了RACSignal是创建和订阅的详细过程。看到底层源码实现后，就能发现，ReactiveCocoa这个FRP的库，实现响应式（RP）是用Block闭包来实现的，而并不是用KVC / KVO实现的。 在ReactiveCocoa整个库中，RACSignal占据着比较重要的
阅读全文
摘要：https://juejin.im/post/5829f4c3570c350063c436ac 前言 ReactiveCocoa是一个(第一个？)将函数响应式编程范例带入Objective-C的开源库。ReactiveCocoa是由Josh Abernathy和Justin Spahr-Summer
阅读全文
摘要：https://www.bilibili.com/video/av9783052?from=search&seid=14165903430339282774
阅读全文
摘要：In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. programming around
阅读全文
摘要：http://www.jdon.com/idea/monad.html http://blog.leichunfeng.com/blog/2015/11/08/functor-applicative-and-monad/ http://www.jdon.com/idea/functor-monad.
阅读全文
摘要：google到数学里定义的群(group): G为非空集合，如果在G上定义的二元运算 *，满足 则称（G，*）是群，简称G是群。 如果仅满足封闭性和结合律，则称G是一个半群（Semigroup）；如果仅满足封闭性、结合律并且有幺元，则称G是一个含幺半群（Monoid）。 相比公式还是用代码表达更容易
阅读全文
摘要：函数式编程（Functional Programming）：使用高阶函数，例如函数用其他函数作为参数。响应式编程（Reactive Programming）：关注于数据流和变化传播。所以，你可能听说过ReactiveCocoa被描述为函数响应式编程（FRP）框架。编程范式是个很范的概念，不作为本篇的
阅读全文
摘要：复杂度与元素的量； 量不形成复杂度； 复杂的关系和量一起才形成。
阅读全文
摘要：基础：事物的成长不能从无到有；而是从有到有； 它的语法结构为从..到..。 结构： 联系； 从 NSUrlSession 到 AFNetworking。
阅读全文
摘要：结论： 1、统一网络入口； 2、统一共性处理； 简述 在iOS开发中，与直接使用苹果框架中提供的NSURLConnection或NSURLSession进行网络请求相比，使用AFNetworking会有哪些好处？当同时发起多个网络请求AFNetworking是如何实现并发的，在并发的时候，AFNet
阅读全文
摘要：自旋锁的本质是持续占有cpu，直到获取到资源。与其他锁的忙等待的实现机制不同。 昨天有位开发者在 Github 上给我提了一个 issue，里面指出 OSSpinLock 在新版 iOS 中已经不能再保证安全了，并提供了几个相关资料的链接。我仔细查了一下相关资料，确认了这个让人不爽的 bug。 OS
阅读全文
摘要：核心是：将标示对象与锁建立关联。 线程 锁 标识； 异常； NSString *test = @"test"; @try { // Allocates a lock for test and locks it objc_sync_enter(test); test = nil; } @finally
阅读全文
摘要：ReactiveCocoa react-native http://www.cnblogs.com/ming1025/p/6072544.html https://www.aliyun.com/jiaocheng/363195.html http://www.cocoachina.com/ios/2
阅读全文
摘要：语言是人类意识的附属物； 意识是人类认识世界产生的神经信号； 认识世界的深度有正确性、逻辑、哲学衡量。 http://www.cnblogs.com/feng9exe/p/8513500.html
阅读全文
摘要：要素：数据+运算： 简单组合+负责组合。 组合即为联系。 数据的组合：结构体、集合、类； 运算的组合：表达式、语句、函数。 自定义高级语言基本特性： （1）类型：支持int、char、void基本类型和复杂的string类型。 （2）表达式：支持四则运算，简单关系运算和字符串连接运算。 （3）语句：
阅读全文
摘要：几何学是研究空间区域关系的数学分支，有时简称为几何。学过数学的人，都知道它有一门分科叫作“几何学”，然而却不一定知道“几何”这个名称是怎么来的。在中国古代，这门数学分科并不叫“几何”，而是叫作“形学”。“几何”二字，在中文里原先也不是一个数学专有名词，而是个虚词，意思是“多少”。
阅读全文
摘要：思维导图的本质是结构化思维； 以认识的事物的结构为基础。
阅读全文
摘要：满足方程所有条件的元素、组件和结构； 方程的构成： 一组包含不确定元素的联合条件； 方程的求解过程： 消除不确定元素的个数，最终求解所有的不确定元素。 方程的思想： 建立联系的思想。 降元、降维德思想。 等价变化的思想。
阅读全文
摘要：结构对应哲学中的联系； 秩序对应哲学中的运动； 结构对联系做了规定； 秩序为运行限定了规律。 任何复杂性都可以用在结构定义的联系树上有规律的秩序运动来作出解释。 结构与秩序是人类认识世界的结果也是工具。 1、结构性法则； 2、构造定律； 3、熵赠法则； 分别对应结构、能耗、秩序。
阅读全文
摘要：构造定律的本质是： 事物的生长结构应该能使物质、能量和信息在这个结构上更好的传输。 由Adrian Bejan于1995创立的构造定律（constructal law），致力于描述能量和物质在物理网络（如河流）和生物网络（如血管）中的流动。这个理论提出，如果一个流体系统（flow system）要继
阅读全文
摘要：写作也是。 创造性的工作也是结构优先。 写文章是将各种核心要素使用合适的结构组织起来，将它们的关系讲清楚，并且结合实际。
阅读全文
摘要：逻辑思维，是人在感性认识的基础上，以概念为操作的基本单元，以判断、推理为操作的基本形式，以辨证方法为指导，间接地、概括地反映客观事物规律的理性思维过程。 逻辑思维是人的理性认识阶段，人运用概念、判断、推理等思维类型反映事物本质与规律的认识过程。 逻辑思维（Logical Thinking），是思维的
阅读全文
