序

ReactiveCocoa是IOS廣為使用的技術框架，而ReactiveCocoa的核心思想就FRP。FRP不同於JAVA的object-oriented和AOP，FRP能讓你的程式碼像數學一樣簡潔，業務像流水一樣清晰流暢。

函式響應式程式設計

響應式程式設計思想為體，函數語言程式設計思想為用。

響應式程式設計

例如，在指令式程式設計環境中， a:=b+c表示將表示式的結果賦給 a，而之後改變 b 或 c的值不會影響 a。但在響應式程式設計中，a的值會隨著 b或 c的更新而更新。

在響應式程式設計當中，a:=b+c宣告的是一種繫結關係。（a與b、c繫結起來了，所以b、c的變化會影響a，這也就是所謂【變化傳播】）

函數語言程式設計

不產生副作用的函式稱為純函式
函式是一等公民=>高階函式
函數語言程式設計抽取了很多常用操作，作為高階函式，比如map，filter，reduce。
有了這些函式，你的程式碼將被大大簡化，也意味著你可以進行更加快速的開發，同時這些函式也幫助別人理解你的程式碼。

Callback風格

客戶端開發一個主要組成部分就是監聽事件然後更新UI。如下圖所示

事件來源包括UI事件、網路回撥、生命週期回撥，通知等等。更新UI往往需要依賴多個事件以及事件包含的資料。所以我們不得不引入共享狀態，如下圖所示

為了與FRP區分，可以把這種程式設計風格叫做Callback風格。

Callback的缺點顯而易見：

The code to manage our state and to update our output is ALL over the place.

狀態的修改可能分佈在很多地方，UI的更新也可能分佈在很多地方。
狀態之間的組合以及相互影響。並且容易出現Bug，很有可能出現未考慮到的狀態組合。
變數式執行緒同步管理非常複雜。

FRP風格

資料流

在FRP世界裡，沒有共享狀態，定義了一個新的型別——資料流。資料流也是FRP的核心概念。所以有下面這種說法：

FRP is about “datatypes that represent a value ‘over time’”

資料流用圖可以表示如下：

Operator

我們對資料流進行操作，比如map、disinct、debounce等等。

Schuduler

FRP還提供了Schuduler，你可以指定你的Operator在哪個執行緒執行，你的Observer在那個執行緒監聽事件，比如網路請求操作需要在後臺執行緒執行，網路返回之後重新整理頁面需要在主執行緒執行。有了Schudeler，就不再需要手動操作執行緒。

FRP實踐

FRP很適合應用於客戶端開發。
舉個例子：專案中有個需求，根據使用者輸入金額以及所選擇的優惠卷實時計算實付金額。控制流如下圖所示：

用IOS中的FRP框架實現如下：

//使用者輸入金額資料流
RACSignal *feeSignal = [[[[payView.fee.rac_textSignal
                          throttle:1.0f]//每秒檢測一次
                          distinctUntilChanged]//去重
                          map:^id(NSString *text) {
                             return [NSString stringWithFormat:@"%.2f", [text floatValue]];
                          }]
                          replayLast];
//使用者選擇優惠券資料流
self.couponSignal = [[[RACReplaySubject
                      subject]
                      distinctUntilChanged]
                      replayLast];

//實時計算支付金額資料流
[[[[[RACSignal
      combineLatest:@[self.feeSignal, self.couponSignal]//組合
      reduce:^id(id paramA, id paramB){
          //構建網路請求引數
      }]
      distinctUntilChanged]
      map:^id(id params) {
          //網路請求
          return [XXNetService queryXX:params]；
      }]
      switchToLatest]//取消之前的計算請求，發起最新的計算請求
      subscribeNext:^(NSNumber *x) {
          //顯示請求結果
      }];                      

所以，程式碼基本上就是流程的直接對映，就像照鏡子，如下圖所示。
並且，程式碼邏輯集中。

而使用Callback風格，維護狀態讓人焦頭爛額，如下圖所示。

FRP優勢：

可讀性

- 程式碼邏輯更加集中
- 減少共享變數，減少出錯率
- 框架分步，流程清晰

複用性

- 豐富的高階函式