对《The future of ReactiveCocoa》的一些思考
Posted lijianming180
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了对《The future of ReactiveCocoa》的一些思考相关的知识,希望对你有一定的参考价值。
前言
我以为
第一次接触 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的同学都知道,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: Event -> ()
Observer
等同于RAC中的 subscriber
,当接收到一个Event
时,就执行某些操作。类似于 swift 中的 Sink
协议。
Observable: (Event -> ()) -> ()
在函数式编程中,函数作为一等公民,可以作为值传递,所以Observable
(RAC中的 Signal
) 可以接受 Observer
,当 Observer
在值传递过程中,也会执行某些操作。
Enumerator: () -> Event
到目前为止,这些都很好理解,然而硬币也有两面性,正如黑格尔的奥伏赫变一般,Observer
翻转 ->
的方向,得到 () -> Event
,
即Enumerator
,当其发生交互时,返回一个 Event
。很类似于 swift 中的 Generator
协议。
Enumerable: () -> (() -> Event)
同样翻转Observable
的->
得到 () -> (() -> Event)
,即Enumerable
。一个Enumerable
(类似于collection
)可以创建一组Enumerator
,十分接近于 swift 中的 Sequence
协议。
Push & Pull
Observer
和Observable
属于 Push 类型的,是生产者驱动的。Enumerator
和Enumerable
属于 Pull 类型的,是消费者驱动的。
Enumerator 升级
() -> Event
因为调用者必须得到一个Event
,所以只能通过同步的方式去检索值,就造成阻塞当前线程,这是不好的方式。
() -> Promise 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》的一些思考的主要内容,如果未能解决你的问题,请参考以下文章
Observations on the Key Provisions of the Draft Futures Law
GTD180010:翻译The future of deep learning
Level of Qustion:Record the difficult level of Problem For future review
什么是 Web3?解读未来的去中心化网络:The Decentralized Internet of the Future Explained