对《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函数就是从输入一个数据,到得到一个数据的过程, 即值的变化过程。

(sunnyxx的推导过程:《() -> ()》)

()

() -> () 表示值的变化的过程,是函数式编程范式的一种高度抽象,表示了一个函数式编程思想。
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,分别为nexterrorcompleted。而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分为了:

这四种抽象的范式的表示方式和上文中通过 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

  • ObserverObservable属于 Push 类型的,是生产者驱动的。
  • EnumeratorEnumerable 属于 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

自动驾驶 2-5 自动驾驶汽车的未来 The Future of Autonomous Vehicles

The future computer英语作文 急求! 初一水平的,谢谢