标签：http ref 范式 相同 思想 nal 黑格尔 pos 模块
第一次接触 swift 语言时，看到函数的表示形式如下：
func fun(num: Int) -> Int {
return num + 1
}
let f = fun(1)
和Objective-C对比一下：
- (int)fun:(int)num
{
return num + 1;
}
int f = [self fun:1];
我们很容易就认为 -> 和Objective-C里面的 - 一样嘛，一种修饰符而已，-> Int 和 - (int)就是一个东西嘛！只不过 swift 在后面（和Golang的函数定义蛮像的，Golang没有这个->而已。），OC在前而已，新语言嘛，要和古老的 OC 有所区别的嘛。
回想一下C语言的函数指针定义，可以定义一个函数指针为：
typedef int (*funPointer)(int); // funPointer = int (*)(int)
如果按此举一反三的话，那么 swift 版的 fun 就可以看成这样：
fun = (Int) -> Int
把参数什么的都去掉，变成如下：
fun = () -> ()
() -> () 就是我们今天讨论的重点了。() 表示数据，->表示运算过程，fun函数就是从输入一个数据，到得到一个数据的过程, 即值的变化过程。
() -> () 表示值的变化的过程，是函数式编程范式的一种高度抽象，表示了一个函数式编程思想。
swift 本身就支持函数式编程，而在 swift 语言中，() 可以表示为一个空的 元组,而元组可以表示任何的值。
- 0-Tuple表示空值，也是Void的别名。
- 1-Tuple表示任意类型的实例，如（Int，String，Enum，Struct等等）,也就是
Int可以看作是一个(Int)，String 是一个(String)，以此类推。- N-Tuple表示多个值的组合，如
(2, "A")、(2, "B", Struct)等。
Tuple的详细知识请参考 Tuples(Medium Link)
在编程中，数据 和 运算 这两核心就可以在 swift 中抽象成 () -> ()了，一切的数据都可以被抽象成 ()， 一切的运算过程都被抽象成 ->，那么之前认为->只不过是新语言标新立异于古老的 OC 而放在后面的想法就是不成立的了，-> 表示数据流动的方向，从一个数据到另一个数据。
熟知RAC的同学都知道，RAC中有三种Event，分别为next，error，completed。而RAC中的Signal(以RACSignal为代表)会发送事件流(a stream of events)给订阅者(Subscribers)。不熟悉的请先了解RAC基本用法。
同样以RAC基本用法这篇文章里的数据流动示例图作为参考，
整个Signal的传递过程可以抽象成(() -> ()) -> (() -> ()) -> ... -> (() -> ())。
而RAC的作者Justin Spahr-Summers 在 GitHub Reactive Cocoa Developer Conference 上的《The Future Of ReactiveCocoa》(YTB视频)参考.NET的四种Interface
- IEnumerable
- IEnumerator
- IObservable
- IObserver
将函数式编程中的Event分为了：
- Observer（Push）: Event -> ()
- Observable（Push）: (E 大专栏 对《The future of ReactiveCocoa》的一些思考vent -> ()) -> ()
- Enumerator（Pull）: () -> Event
- Enumerable（Pull）: () -> (() -> Event)
这四种抽象的范式的表示方式和上文中通过 swift 抽象的 () -> () 有异曲同工之妙。
将上文中的进行一下操作:
1>
(() -> ()) -> (() -> ()) -> ... -> (() -> ())
2> ‘1>’ 表达式中()使用Event替换
3>(Event1 -> ()) -> (Event2 -> ()) -> ... -> (EventN -> ())，
4> ‘3>’表达式等同于Observable的抽象。
Observer 等同于RAC中的 subscriber，当接收到一个Event时，就执行某些操作。类似于 swift 中的 Sink 协议。
在函数式编程中，函数作为一等公民，可以作为值传递，所以Observable（RAC中的 Signal） 可以接受 Observer，当 Observer 在值传递过程中，也会执行某些操作。
到目前为止，这些都很好理解，然而硬币也有两面性，正如黑格尔的奥伏赫变一般，Observer 翻转 -> 的方向，得到 () -> Event，
即Enumerator，当其发生交互时，返回一个 Event。很类似于 swift 中的 Generator 协议。
同样翻转Observable的->得到 () -> (() -> Event)，即Enumerable。一个Enumerable（类似于collection）可以创建一组Enumerator，十分接近于 swift 中的 Sequence 协议。
Observer 和 Observable属于 Push 类型的，是生产者驱动的。Enumerator 和 Enumerable 属于 Pull 类型的，是消费者驱动的。() -> Event 因为调用者必须得到一个Event，所以只能通过同步的方式去检索值，就造成阻塞当前线程，这是不好的方式。
() -> Promise Event 实现值通过异步的方式获取，封装每个结果到Promise中，然后在未来的某个时间点给我们提供Event。
同理，() -> (() -> Event) 变为 () -> (() -> Promise Event)。
（Promises & Futures）
Promise：
- Promise 确保任务能执行
- 提供了无序和异步的功能
- 由调用者完全控制
Promise 代表了一种 延时计算 的思想，与 swift 和 Golang 中的 defer 提供的功能一样。举个例子，消费者可以立刻获取5个 Promises，但是这样就做了无用功，因为只需要从第5个开始，跳过前4个，这样前4个promise就根本不会触发，消费者完全控制。
Observables 和 Enumerables 是：
- 一元运算(Monadic)
- 模块化(Modular)
- 异步的(Asynchronous)
Observables 对任意一个 observers 都是相同的。
Enumerables 对每一次枚举完全独立的。
Observables 永远都是活跃的（live）。
Enumerables 每一次的枚举都会开启新的工作（work）。
忘记Hot Signal 和 Cold Signal 吧！
Hot Signal Observables
Cold Signal Enumerables
本文根据 RAC 的作者在 2014 年的 GitHub Reactive Cocoa Developer Conference 上的《The Future Of ReactiveCocoa》(YTB视频)Talk 及 sunnyxx的博客文章：《() -> ()》 ，从 swift 的语法开始，对 RAC 的一些抽象进行了整理，试图去理解函数式编程的思想，如有出入，望不吝斧正（:/手动感谢）。
对《The future of ReactiveCocoa》的一些思考
标签：http ref 范式 相同 思想 nal 黑格尔 pos 模块
原文地址：https://www.cnblogs.com/lijianming180/p/12376359.html
